A man stare at a passing couple while walking down the block.
The man is jealous of the couple.
Staring does not imply being jealous.
(x)
exists s1 x1 x2.(n_couple(x2) & n_man(x1) & of(s1,x2) & Theme(s1,x1) & a_jealous(s1))