Proofgold Term Root Disambiguation

as obj
-

as prop
e3e2f..^{MetaCat_struct_b_b_r_e_e_ordered_field_Forgetful}

theory
HotG

stx
1ab52..

address
TMYZw..^{MetaCat_struct_b_b_r_e_e_ordered_field_Forgetful}