Proofgold Term Root Disambiguation

as obj
-

as prop
86ad8..^{MetaCat_struct_r_ord}

theory
HotG

stx
d1a05..

address
TMNkk..^{MetaCat_struct_r_ord}