republican { pacifist :- #true. }
quaker { -pacifist :- #true. }
nixon : republican, quaker { }