Proofgold Term Root Disambiguation

not (6 = 3)

as obj
-

as prop
96787..^neq_6_3

theory
HF

stx
82de5..

address
TMYzW..^neq_6_3