The motorcycle is a Honda.
The motorcycle is not a Honda.
The motorcycle is either a Honda or not a Honda but cannot be both.
exists p1 x1.(n_motorcycle(x1) & exists x2.((x1 = x2) & n_honda(x2)))
exists x1.(n_motorcycle(x1) & -exists p1 x2.((x1 = x2) & n_honda(x2)))