NOR holds for a record whose condition has no value