Proofgold Term Root Disambiguation

not (7 = 1)

as obj
-

as prop
6a87a..^neq_7_1

theory
HF

stx
82de5..

address
TMHLZ..^neq_7_1