Grammar Rules Sat