Proofgold Term Root Disambiguation

not (7 = 3)

as obj
-

as prop
c0553..^neq_7_3

theory
HF

stx
82de5..

address
TMZg4..^neq_7_3