Proofgold Term Root Disambiguation

as obj
-

as prop
29576..^{tagged_not_ordinal}

theory
HF

stx
8964b..

address
TMcFd..^{tagged_not_ordinal}