Five children sitting on a set of steps that are located outside.
Five kids sit on steps outside their local library.
It cannot be inferred that the kids are outside their local library.
exists e1 e2 s1 x1 x2 x3 x4 x5.(a_topic(x1) & on(e1,x3) & of(x3,x4) & a_outside(s1) & Manner(e2,s1) & Theme(e2,x5) & v_locate(e2) & (x4 = x5) & n_step(x4) & n_set(x3) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & n_child(x1) & card_eq_5(x1))
exists e1 s1 x1 x2 x3.(on(e1,x2) & outside(x2,x3) & n_library(x3) & a_local(s1) & Theme(s1,x3) & of(x3,x1) & n_thing(x1) & n_step(x2) & Actor(e1,x1) & v_sit(e1) & n_kid(x1) & card_eq_5(x1))