Five people enjoying time in nature.
Some people are outside birdwatching.
Five people enjoying time in nature does not mean that they are outside birdwatching.
exists e1 x1 x2 x3 x4.(a_topic(x1) & in(e1,x4) & n_nature(x4) & Theme(e1,x3) & Actor(e1,x2) & v_enjoy(e1) & n_time(x3) & (x1 = x2) & n_people(x1) & card_eq_5(x1))
exists s1 x1 x2.(Time(s1,x2) & n_birdwatching(x2) & Theme(s1,x1) & a_outside(s1) & n_people(x1))