Proofgold Term Root Disambiguation

OSNo_proj1 0 = 0

as obj
-

as prop
5b347..^OSNo_p1_0

theory
HotG

stx
5c6b2..

address
TMXfr..^OSNo_p1_0