Proofgold Term Root Disambiguation

74e69.. 5e331..

as obj
-

as prop
e5778..

theory
HOAS

stx
cbccf..

address
TMdTT..