<zdanie> ::= <podmiot> <orzeczenie>
<podmiot> ::= koty \ psy
<orzeczenie> ::= śpią \ jedzą
Trzy powyższe wiersze pozwalają stwierdzić, że: