Result of ∃
+
-rule
Branch: 2.eats
4.2.
Apply ⊓
+
-rule