Proofgold Term Root Disambiguation

not (3 = 1)

as obj
-

as prop
28881..^neq_3_1

theory
HF

stx
82de5..

address
TMKPd..^neq_3_1