+ + | ENDLINE + ID ">" + | "," ID | "&" | "%" (1) (2) (3) (4) (5) (6) 6 (7) (8) (9) (10) | ** Consider the following semantic functions/predicates: (1) Predicate: main .ids (2) .ids = { id} (3) [0].ids = { .id}U [1].ids (4) .id = ID.id .id = ID.id (5) .id = .id (6) .id = [0].id [1].id = [0].id (7) Predicate: .id!= ID.id This attributed grammar specifies two static semantic rules (restrictions on the programs in this language). What are they? Give a brief description on how they are enforced. For each rule, are the attributes involved synthesized, inherited, or a mixture of both