Two well dressed custodians sweep an intricately decorated Mosque.
The man is washing the school bus.
Two men are sweeping whereas one man is washing..they are two different activities involving different numbers of person.
all s2 s1 x1.((n_mosque(x1) & a_decorated(s2) & Theme(s2,x1) & a_intricately(s1) & Theme(s1,x1)) -> exists e1 x2 x3.(a_topic(x2) & for(x2,x1) & n_sweep(x2) & of(x2,x3) & n_custodian(x3) & Theme(e1,x2) & v_dress(e1) & r_well(x2) & card_eq_2(x2)))
exists e1 x1 x2 x3.(n_bus(x2) & of(x2,x3) & n_school(x3) & n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wash(e1))