Proofgold Term Root Disambiguation

as obj
-

as prop
aaf6e..^{tagged_not_ordinal}

theory
HotG

stx
fab7c..

address
TMSUb..^{tagged_not_ordinal}