(f:maserati,faulty,cabrio,k:2)!=(f:maserati,faulty,cabrio,k:2)