Proofgold Term Root Disambiguation

SNo 1

as obj
-

as prop
9a733..^SNo_1

theory
HotG

stx
2cf07..

address
TMLD7..^SNo_1