A fitness class with the attendees riding stationary bikes.
A fitness class gets ready to take it to the next level.
The fitness class is not necessarily ready to take it to the next level just because they are riding stationary bikes.
exists e1 s1 x1 x2 x3 x4 x5.(n_attendee(x3) & a_topic(x1) & with(x1,x3) & Theme(e1,x5) & Actor(e1,x4) & v_ride(e1) & n_bike(x5) & a_stationary(s1) & Theme(s1,x5) & (x3 = x4) & n_class(x1) & of(x1,x2) & n_fitness(x2))
exists e1 p1 s2 x1 x2 x3.(n_level(x3) & a_next(s2) & Theme(s2,x3) & exists p2 s1.(Topic(s1,p2) & Actor(s1,x1) & a_ready(s1) & exists e2.(to(e2,x3) & Theme(e2,x2) & Actor(e2,x1) & v_take(e2))) & n_thing(x2) & Topic(e1,p1) & Actor(e1,x1) & v_get(e1) & n_class(x1) & of(x1,x2) & n_fitness(x2))