Proofgold Term Root Disambiguation

as obj
-

as prop
ed6b5..^{MetaCat_struct_c}

theory
HotG

stx
4f88b..

address
TMPxf..^{MetaCat_struct_c}