Proofgold Term Root Disambiguation

91fd5.. 1f2c4.. 32d20..

as obj
302e5..

as prop
-

theory
HOAS

stx
ca03b..

address
TMWeA..