Result of ⊓⁺-rule

Branch: 2.eats

No rules can be applied. Go to 3.2