Proofgold Term Root Disambiguation

as obj
-

as prop
4ce24..^{MetaCat_struct_b_group_terminal}

theory
HotG

stx
f2807..

address
TMFug..^{MetaCat_struct_b_group_terminal}