Sat Grammar Rules