A downhill skier in black catches a tiny bit of air
A person is skiing.
a skier is still a person, regardless of how he is skiing
exists s1 x1.(all x2 s2.((n_bit(x2) & a_tiny(s2) & Theme(s2,x2)) -> exists s3 x3 x4.(a_topic(x1) & in(x1,x3) & of(x3,x4) & n_air(x4) & for(x3,x2) & n_catch(x3) & a_black(s3) & Theme(s3,x3))) & n_skier(x1) & a_downhill(s1) & Theme(s1,x1))
exists p1 x1.(exists x2.((x1 = x2) & n_skiing(x2)) & n_person(x1))