Proofgold Term Root Disambiguation

not (5 = 1)

as obj
-

as prop
03b32..^neq_5_1

theory
HF

stx
82de5..

address
TMVh5..^neq_5_1