The class of negative property assertions.