A bull charges at a man within a stadium while an audience watches.
The man is not afraid of the bull.
Just because a bull charges a t man in a stadium while an audience watches does not mean he is not afraid.
(-x)
exists x1 x2.(n_bull(x2) & n_man(x1) & -exists s1.(of(s1,x2) & Theme(s1,x1) & a_afraid(s1)))