Two girls are sitting on a bench outside, and one of them is checking her cellphone.
the girls are fifteen
The girls could have been any age instead of exactly fifteen.
exists e2 e1 x1 x2 x3 x4 x5.(Theme(e2,x5) & Actor(e2,x4) & v_check(e2) & n_cellphone(x5) & of(x5,x2) & n_female(x2) & of(x4,x1) & n_thing(x1) & n_thing(x4) & card_eq_1(x4) & on(e1,x2) & n_outside(x2) & of(x2,x3) & n_bench(x3) & Actor(e1,x1) & v_sit(e1) & n_girl(x1) & card_eq_2(x1))
exists e1 x1.(n_girl(x1) & Theme(e1,x1) & v_fifteen(e1))