Proofgold Term Root Disambiguation

not (7 = 6)

as obj
-

as prop
0a1a6..^neq_7_6

theory
HF

stx
82de5..

address
TMGue..^neq_7_6