Two long distance runners are shown competing on an indoor track.
two athletes are indoors
Long distance runners are athletes and indoor is indoors.
exists e2 e1 s1 s2 x1 x2 x3.(for(e1,e2) & on(e2,x3) & n_track(x3) & a_indoor(s2) & Theme(s2,x3) & Actor(e2,x1) & v_compete(e2) & Theme(e1,x1) & v_show(e1) & n_runner(x1) & of(x1,x2) & n_distance(x2) & a_long(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 x1.(exists x2.((x1 = x2) & n_indoor(x2)) & n_athlete(x1) & card_eq_2(x1))