Two girls are in a bathing suits.
The girls are in dresses
The two girls can not be in one bathing suit. They also can not be in bathing suits and dresses at the same time.
exists p1 x1.(exists x2 x3.(in(x1,x2) & n_suit(x2) & of(x2,x3) & n_bathing(x3)) & n_girl(x1) & card_eq_2(x1))
exists p1 x1.(n_girl(x1) & exists x2.(in(x1,x2) & n_dress(x2)))