A hot air balloon is filled with twelve different people, all wearing black, blue red or white.
The balloon is overloaded.
The hot air balloon could of been build for that capacity and not necessarily overloaded.
exists e1 s1 x1 x2 x3 x4 x5.(n_people(x5) & with(e1,x3) & all e2 s4 s2 s3 s5 x6.((n_white(x6) & a_red(s5) & Theme(s5,x6) & a_blue(s4) & Theme(s4,x6) & a_,(s3) & Theme(s3,x6) & a_black(s2) & Theme(s2,x6) & Actor(e2,x6) & v_wear(e2)) -> subset_of(x6,x3)) & subset_of(x4,x3) & -(x4 = x5) & n_people(x4) & card_eq_12(x4) & Theme(e1,x1) & v_fill(e1) & n_balloon(x1) & of(x1,x2) & n_air(x2) & a_hot(s1) & Theme(s1,x1))
exists e1 x1.(n_balloon(x1) & Theme(e1,x1) & v_overload(e1))