Two girls are standing behind another girl.
Three girls are sitting and practicing witchcraft.
There must be either two or three girls. The girls cannot be sitting if they are standing.
exists e1 x1 x2.(behind(e1,x2) & n_girl(x2) & -(x2 = x1) & n_girl(x1) & n_girl(x1) & Actor(e1,x1) & v_stand(e1) & card_eq_2(x1))
exists e1 e2 x1 x2 x3.(Theme(e2,x3) & Actor(e2,x2) & v_practice(e2) & n_witchcraft(x3) & n_girl(x2) & card_eq_3(x2) & Actor(e1,x1) & v_sit(e1) & n_girl(x1) & card_eq_3(x1))