Two scuba divers underwater wearing white shirts and scuba equipment along with fins on their feet.
Two scuba divers leave their scuba equipment behind and swim underwater without fins and only swim trunks.
Divers cannot have left their equipment behind and wear their scuba equipment and fins.
exists e1 p1 x1 x2 x8.(exists e2 s1 x3 x4 x5 x6 x7.(Theme(e2,x3) & Actor(e2,x1) & v_wear(e2) & with(x6,x7) & on(x7,x8) & n_fin(x7) & along(x3,x6) & n_thing(x6) & n_equipment(x3) & of(x3,x5) & n_scuba(x5) & of(x3,x4) & n_shirt(x4) & a_white(s1) & Theme(s1,x3)) & n_foot(x8) & of(x8,x1) & n_thing(x1) & Topic(e1,p1) & Actor(e1,x1) & v_underwater(e1) & n_diver(x1) & of(x1,x2) & n_scuba(x2) & card_eq_2(x1))
exists e1 x1 x2 x3 x4 x5 x6 x7.(-exists s1 x8 x9 x10.(with(e1,x8) & subset_of(x10,x8) & n_trunk(x10) & a_swim(s1) & Theme(s1,x10) & r_only(x10) & subset_of(x9,x8) & n_fin(x9)) & Theme(e1,x3) & Actor(e1,x1) & v_leave(e1) & n_underwater(x5) & of(x5,x7) & n_swim(x7) & n_behind(x4) & of(x4,x6) & n_equipment(x6) & of(x4,x2) & n_scuba(x2) & n_scuba(x2) & subset_of(x5,x3) & subset_of(x4,x3) & of(x3,x1) & n_thing(x1) & n_diver(x1) & of(x1,x2) & card_eq_2(x1))