Woman vaulting over a vaulting horse.
The woman is light and nimble.
The woman is light that doesn't mean she's nimble.
exists e2 e1 x1 x2.(ne_nam_woman(x1) & over(e1,x2) & n_horse(x2) & Actor(e2,x2) & v_vault(e2) & Actor(e1,x1) & v_vault(e1))
exists s1 s2 x1.(n_woman(x1) & Theme(s2,x1) & a_nimble(s2) & Theme(s1,x1) & a_light(s1))