Proofgold Term Root Disambiguation

as obj
-

as prop
259fb..^{MetaCat_struct_r_per}

theory
HotG

stx
337c1..

address
TMSEN..^{MetaCat_struct_r_per}