Proofgold Term Root Disambiguation

OSNo_proj1 1 = 0

as obj
-

as prop
52bcb..^OSNo_p1_1

theory
HotG

stx
5c6b2..

address
TMN92..^OSNo_p1_1