two nuns looking at a cellphone.
The nuns are looking
There is no information that cannot be inferred. The fact that there are nuns is in the first sentence, as is the fact that they are looking.
exists e1 x1 x2.(at(e1,x2) & n_cellphone(x2) & Actor(e1,x1) & v_look(e1) & n_nun(x1) & card_eq_2(x1))
exists e1 x1.(n_nun(x1) & Actor(e1,x1) & v_look(e1))