Proofgold Term Root Disambiguation

not (4 = 1)

as obj
-

as prop
34131..^neq_4_1

theory
HF

stx
82de5..

address
TMNiw..^neq_4_1