Proofgold Term Root Disambiguation

as obj
-

as prop
3ab71..^{MetaCat_struct_b_quasigroup_initial}

theory
HotG

stx
47aef..

address
TMZDT..^{MetaCat_struct_b_quasigroup_initial}