Three lambs are in a field.
The lambs inside a barn.
The lambs are either in a field or in a barn.
exists p1 x1.(exists x2.(in(x1,x2) & n_field(x2)) & n_lamb(x1) & card_eq_3(x1))
exists x1 x2.(n_lamb(x1) & a_topic(x1) & inside(x1,x2) & n_barn(x2))