Proofgold Term Root Disambiguation

91fd5.. 1f2c4.. e36e8..

as obj
f2088..

as prop
-

theory
HOAS

stx
ca03b..

address
TMTgF..