Proofgold Term Root Disambiguation

as obj
-

as prop
11b66..^{MetaCat_struct_e_initial}

theory
HotG

stx
ef27a..

address
TML2X..^{MetaCat_struct_e_initial}