Proofgold Term Root Disambiguation

as obj
-

as prop
ea1d4..^{MetaCat_struct_b_b_e_rng}

theory
HotG

stx
0fc44..

address
TMFDn..^{MetaCat_struct_b_b_e_rng}