Proofgold Term Root Disambiguation

∀ x0 x1 . (nIn x0 x1 ⟶ False) ⟶ In x0 x1

as obj
-

as prop
085e3..^contra_In

theory
HF

stx
8a441..

address
TMP4r..^contra_In