Proofgold Term Root Disambiguation

91fd5.. (57d6a.. 67794.. 5b8fe..) 32d20..

as obj
68b13..

as prop
-

theory
HOAS

stx
ca03b..

address
TMc8q..