Result of ⊓^--rule

Branch: 2.eats

3.2. Apply ∃^--rule