Proofgold Term Root Disambiguation

not (4 = 0)

as obj
-

as prop
fc9ff..^neq_4_0

theory
HF

stx
82de5..

address
TMcLL..^neq_4_0