Proofgold Term Root Disambiguation

as obj
-

as prop
e9785..^{MetaCat_struct_b_initial}

theory
HotG

stx
9c4aa..

address
TMLkS..^{MetaCat_struct_b_initial}