Proofgold Term Root Disambiguation

as obj
-

as prop
5aa86..^{MetaCat_struct_b_b_e_e_cring_Forgetful}

theory
HotG

stx
7d042..

address
TMY2k..^{MetaCat_struct_b_b_e_e_cring_Forgetful}