Proofgold Term Root Disambiguation

as obj
-

as prop
021fd..^{MetaCat_struct_b_terminal}

theory
HotG

stx
9c4aa..

address
TMLCC..^{MetaCat_struct_b_terminal}