boolean formulae for generating traffic rules (G and F)