Title: C2 SAT Grammar - Yellow