Proofgold Term Root Disambiguation

SNo 2

as obj
-

as prop
c524a..^SNo_2

theory
HotG

stx
2cf07..

address
TMLrv..^SNo_2