These girls are focused on the speaker.
At least two girls are focused on the speaker.
These girls implies that there are at least two girls.
exists e1 x1 x2.(n_speaker(x2) & n_girl(x1) & on(e1,x2) & Theme(e1,x1) & v_focus(e1))
exists e2 e1 x1 x2.(n_speaker(x2) & a_at(e2) & Actor(e2,e1) & v_least(e2) & on(e1,x2) & Theme(e1,x1) & v_focus(e1) & n_girl(x1) & card_eq_2(x1))