A group of firefighters all dressed up in their gear standing on a road.
The firefighters are ready for bed.
Firefighters standing on a road would not be ready for bed.
all x5 x4 x1 x3 x2.((n_standing(x4) & of(x4,x5) & n_gear(x5) & of(x4,x2) & n_thing(x2) & (x1 = x2) & of(x2,x3) & n_firefighter(x3) & n_group(x2)) -> exists e1 s1 x6.(on(e1,x6) & n_road(x6) & in(e1,x4) & a_up(s1) & Manner(e1,s1) & Theme(e1,x1) & v_dress(e1)))
exists s1 x1 x2.(n_firefighter(x1) & for(s1,x2) & n_bed(x2) & Theme(s1,x1) & a_ready(s1))