1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
rule test └─ condition └─ for <quantifier> <vars> in (<expr0>, <expr1>, <expr2>) : ( <condition> ) ├─ <quantifier> │ └─ any ├─ <vars> │ └─ e ├─ <expr0> │ └─ 1 ├─ <expr1> │ └─ 2 ├─ <expr2> │ └─ 3 └─ <condition> └─ eq ├─ e └─ 3