/**
* Test of "and not" logical operator.
*/
public void testAndNot() {
OfficeIdSpecification spec1 = new OfficeIdSpecification();
FullOfficeSpecification spec2 = new FullOfficeSpecification();
AvailableOfficeSpecification spec3 = new AvailableOfficeSpecification();
IOffice office1 = new Office();
IEmployee emp1 = new Employee();