Proofgold Term Root Disambiguation

as obj
-

as prop
a8025..^{MetaCat_struct_r_equivreln_Forgetful}

theory
HotG

stx
74c78..

address
TMZcF..^{MetaCat_struct_r_equivreln_Forgetful}