Proofgold Term Root Disambiguation

as obj
-

as prop
37e9f..^{MetaCat_struct_b_b_e_e_semiring}

theory
HotG

stx
9caa1..

address
TMMns..^{MetaCat_struct_b_b_e_e_semiring}