Proofgold Term Root Disambiguation

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

as obj
-

as prop
9d2e6..^nIn_I2

theory
HF

stx
8a441..

address
TMahr..^nIn_I2