Proofgold Term Root Disambiguation

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

as obj
-

as prop
f0129..^nIn_E

theory
HF

stx
8a441..

address
TMPTw..^nIn_E