EF (hotel * car);			
AF (hotel * car);
! EF (train * car);	
AG (next_vacation -> AF (ready) );
AG (phone);					
AG (EF (accommodation * transport_means * luggage) );
AG (AF (accommodation * transport_means * luggage) );
AG (luggage_open -> AX (luggage) );
AG (luggage_open -> EX (luggage) );
AG (luggage_open -> AF (luggage) );
A [luggage_open U luggage];
AG (luggage_open -> A [luggage_open U luggage] );