Lors de la correction de l'interro on s'est aperçu qu'il n'était pas clair comment traduire en logique de description la phrase «toutes les voitures rouges sont meilleures que toutes les voitures bleues». J'ai rédigé un petit texte à ce propos et je vous invite fortement à le lire :

https://www.overleaf.com/read/rymxbscxdhzv

À la fin du texte il y a une question, si quelqu'un a une réponse je suis preneur.