Proofgold Term Root Disambiguation

OSNo_proj0 0 = 0

as obj
-

as prop
50bfb..^OSNo_p0_0

theory
HotG

stx
5c6b2..

address
TMNjw..^OSNo_p0_0