Two children in swimsuits are hugging each other
The two children are ignoring each other.
You can't be ignoring someone and hugging them at the same time.
exists x1 x2.(all x3.(n_other(x3) -> exists e1.(Theme(e1,x3) & Actor(e1,x1) & v_hug(e1))) & in(x1,x2) & n_swimsuit(x2) & n_child(x1) & card_eq_2(x1))
exists x1.(n_child(x1) & card_eq_2(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_ignore(e1))))