Proofgold Term Root Disambiguation

as obj
-

as prop
f41f4..^{MetaCat_struct_b_b_e_e_cring}

theory
HotG

stx
7d042..

address
TMEhD..^{MetaCat_struct_b_b_e_e_cring}