Proofgold Term Root Disambiguation

as obj
-

as prop
db797..^{not_ordinal_Sing1}

theory
HotG

stx
fab7c..

address
TMUKB..^{not_ordinal_Sing1}