Proofgold Term Root Disambiguation

as obj
-

as prop
c7aa1..^{MetaCat_struct_r_partialord_Forgetful}

theory
HotG

stx
21a1b..

address
TMRfd..^{MetaCat_struct_r_partialord_Forgetful}