Proofgold Term Root Disambiguation

not (9 = 3)

as obj
-

as prop
b56e1..^neq_9_3

theory
HF

stx
82de5..

address
TMNBN..^neq_9_3