Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 x0 ⟶ ∃ x2 . and (In x2 x0) (not (∃ x4 . and (In x4 x0) (In x4 x2)))

as obj
-

as prop
3903a..^Regularity

theory
HF

stx
a6670..

address
TMQUW..^Regularity