unambiguous proposition formula grammar