Proofgold Term Root Disambiguation

as obj
-

as prop
17fce..^{MetaCat_struct_u_bij}

theory
HotG

stx
7469b..

address
TMUCP..^{MetaCat_struct_u_bij}