Proofgold Term Root Disambiguation

f6435.. 32d20..

as obj
-

as prop
02f21..

theory
HOAS

stx
64e99..

address
TMSfV..