Four runners are competing in a race, on an indoor course, decorated with many colorful, international flags.
The four runners are all sprinters.
Just because runners are racing doesn't mean they are all sprinters.
exists e1 e2 s1 s2 s3 s4 x1 x2 x3 x4 x5.(on(e1,x3) & with(e2,x5) & n_flag(x5) & a_international(s4) & Theme(s4,x5) & a_,(s3) & Theme(s3,x5) & a_colorful(s2) & Theme(s2,x5) & n_quantity(x5) & Theme(e2,x4) & v_decorate(e2) & (x3 = x4) & n_course(x3) & a_indoor(s1) & Theme(s1,x3) & in(e1,x2) & n_race(x2) & Actor(e1,x1) & v_compete(e1) & n_runner(x1) & card_eq_4(x1))
exists p1 x1.(n_runner(x1) & card_eq_4(x1) & all x2.(n_sprinter(x2) -> (x1 = x2)))