negation: (logic) a proposition that is true if and only if another proposition is false
abstraction: a general concept formed by extracting common features from specific examples
garden party: a party of people assembled for social interaction out of doors