Proofgold Term Root Disambiguation

not (9 = 6)

as obj
-

as prop
59e77..^neq_9_6

theory
HF

stx
82de5..

address
TMF1P..^neq_9_6