A solemn group is on strike.
Some people are protesting working conditions.
just because the solemn group is on strike doesn't necessarily be protesting for working conditions.
exists p1 s1 x1.(exists x2.(on(x1,x2) & n_strike(x2)) & n_group(x1) & a_solemn(s1) & Theme(s1,x1))
exists e1 e2 x1 x2.(Theme(e2,x2) & Actor(e2,x1) & v_protest(e2) & n_condition(x2) & Actor(e1,x2) & v_work(e1) & n_people(x1))