Úloha

☞ x ≔ { :a :b :c ↲ a + b + c. } platí: 1 a: 2 i: 3.
✎ píšu: x, zastávka.
6