Proofgold Term Root Disambiguation

91fd5.. e36e8.. 32d20..

as obj
d7c0d..

as prop
-

theory
HOAS

stx
ca03b..

address
TMUbq..