Proofgold Term Root Disambiguation

OSNo_proj0 1 = 1

as obj
-

as prop
e0ed6..^OSNo_p0_1

theory
HotG

stx
5c6b2..

address
TMcf9..^OSNo_p0_1