Alphabet
a:b c:d
;
Rules
"rule name"
a:b <=> c: _ ; 
