Proofgold Term Root Disambiguation

as obj
-

as prop
c5583..^{MetaCat_struct_c_topology}

theory
HotG

stx
ecc96..

address
TMYiz..^{MetaCat_struct_c_topology}