Proofgold Term Root Disambiguation

OSNo 1

as obj
-

as prop
a6d6f..^OSNo_1

theory
HotG

stx
5c6b2..

address
TMYnd..^OSNo_1