Proofgold Term Root Disambiguation

not (2 = 1)

as obj
-

as prop
56778..^neq_2_1

theory
HF

stx
0d78c..

address
TMSY6..^neq_2_1