A man in a plaza stares at a woman with see through pants.
The man is staring at a woman.
is staring is the same as stares
(-x)
exists e1 x1 x2.(n_man(x1) & at(e1,x2) & n_woman(x2) & Actor(e1,x1) & v_stare(e1))