Proofgold Term Root Disambiguation

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

as obj
1b59f..

as prop
-

theory
HOAS

stx
ca03b..

address
TMQ1d..