Proofgold Term Root Disambiguation

57d6a.. 67ee8.. (57d6a.. 25ca3.. 65996..)

as obj
3ece5..

as prop
-

theory
HOAS

stx
09504..

address
TMK2s..