Result of ∃
-
-rule
Branch: eats
No rules can be applied.
Go to 2.