Proofgold Term Root Disambiguation

f6435.. 6915e..

as obj
-

as prop
40b47..

theory
HOAS

stx
64e99..

address
TMYGh..