A woman in a denim jumper and another woman in a navy blue jacket are overlooking a mountain range.
The two women wearing nothing but red spandex.
denim jumper and navy blue jacket are not red spandex.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9.(Theme(e1,x8) & Actor(e1,x1) & v_overlook(e1) & n_range(x8) & of(x8,x9) & n_mountain(x9) & subset_of(x5,x1) & in(x5,x6) & n_jacket(x6) & a_blue(s1) & Theme(s1,x6) & of(x6,x7) & n_navy(x7) & n_woman(x5) & -(x5 = x2) & n_woman(x2) & n_woman(x2) & subset_of(x2,x1) & in(x2,x3) & n_jumper(x3) & of(x3,x4) & n_denim(x4))
exists x1 x2.(n_woman(x1) & card_eq_2(x1) & a_topic(x1) & -exists e1 s1 x3 x4.(Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & but(x3,x4) & n_spandex(x4) & a_red(s1) & Theme(s1,x4) & n_thing(x3)) & (x1 = x2))