The motorcycle is a Honda.
The motorcycle is being ridden.
It cannot be determined if the motorcycle is currently being ridden.
exists p1 x1.(n_motorcycle(x1) & exists x2.((x1 = x2) & n_honda(x2)))
exists e1 x1.(n_motorcycle(x1) & Theme(e1,x1) & v_ride(e1))