The two ice skaters perform a complicated maneuver where the man in black balances the woman in gold's leg up in the air with his arm.
the skaters are pros
Not all ice skaters performing a complicated maneuver are pros.
(x)
exists p1 x1.(n_skater(x1) & exists x2.((x1 = x2) & n_pro(x2)))