A man on the coaching staff for OU has sunglasses on his head during a football game.
The man is a janitor
If a man is on the coaching staff he is not a janitor.
exists e1 e2 x1 x2 x3 x4 x5 x6 x7.(n_head(x5) & of(x5,x2) & n_male(x2) & ne_org_ou(x3) & n_staff(x2) & Actor(e1,x2) & v_coach(e1) & during(e2,x6) & n_game(x6) & of(x6,x7) & n_football(x7) & on(e2,x5) & Theme(e2,x4) & Actor(e2,x1) & v_have(e2) & n_sunglass(x4) & on(x1,x2) & for(x2,x3) & n_man(x1))
exists p1 x1.(n_man(x1) & exists x2.((x1 = x2) & n_janitor(x2)))