Proofgold Term Root Disambiguation

e05e6.. c9248..

as obj
-

as prop
9dc64..

theory
HOAS

stx
cbccf..

address
TMTjW..