Proofgold Term Root Disambiguation

not (8 = 1)

as obj
-

as prop
3fd1f..^neq_8_1

theory
HF

stx
82de5..

address
TMSto..^neq_8_1