Proofgold Term Root Disambiguation

91fd5.. 1f2c4.. (91fd5.. 1f2c4.. 1f2c4..)

as obj
48ac8..

as prop
-

theory
HOAS

stx
ca03b..

address
TMKeS..