Proofgold Term Root Disambiguation

as obj
-

as prop
d87b9..^{MetaCat_struct_b_group}

theory
HotG

stx
62ee1..

address
TMGhd..^{MetaCat_struct_b_group}