Proofgold Term Root Disambiguation

not (c2e41.. 48ef8.. (e5b72.. 48ef8..))

as obj
-

as prop
86fd0..

theory
HoTg

stx
e9beb..

address
TMdBS..