: (dep '+Animal) +Animal +Cat +Dog +Collie +Lab