Two monks are walking down steep stairs.
Two monks on their way to prayer services.
Just because monks are walking down stairs doesn't mean they are on their way to prayer services.
exists e1 s1 x1 x2.(down(e1,x2) & n_stair(x2) & a_steep(s1) & Theme(s1,x2) & Actor(e1,x1) & v_walk(e1) & n_monk(x1) & card_eq_2(x1))
exists p1 x1 x2.(a_topic(x1) & on(x1,x2) & Topic(x2,p1) & exists e1 x3.(Theme(e1,x3) & Actor(e1,x2) & v_prayer(e1) & n_service(x3)) & n_way(x2) & of(x2,x1) & n_thing(x1) & n_monk(x1) & card_eq_2(x1))