Proofgold Term Root Disambiguation

as obj
-

as prop
aa3f3..^{MetaCat_struct_b_semigroup_terminal}

theory
HotG

stx
f2807..

address
TMQtF..^{MetaCat_struct_b_semigroup_terminal}