Proofgold Term Root Disambiguation

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

as obj
-

as prop
24526..^nIn_E2

theory
HF

stx
8a441..

address
TMZJt..^nIn_E2