Proofgold Term Root Disambiguation

57d6a.. 3cd3c.. 81a9b..

as obj
00b46..

as prop
-

theory
HOAS

stx
f0c21..

address
TMatb..