Représentation de phrases

Solutions aux 2 premières questions de ce TD/TP.

1. Représentez la phrase "Every car has at least a red wheel"
   (dans chacune des notations indiquées ci-dessous).

   FL without quantifCtxt:  every Car  part:  (a Wheel color: a Red).
   FL with 2 quantifCtxts:  Car part _[every->a ?w]: (Wheel color _[?w->a]: Red).
   FL with Red first:       Red color of _[a<-?w]: Wheel part of _[a ?w <- every]: Car.
   FL-DF with Car first:    Car --part _[every->a ?w]--> Wheel --color _[?w->a]--> Red 
   FL-DF with Wheel first:  Wheel <--part _[a ?w<-every]-- Car
                                |---color _[?w->a]--> Red
   FE:                      every Car has for part a Wheel that has for color a Red.
   
   

2. Représentez la phrase "There is a wheel shared by every car".

   FL without quantifCtxt:  a Wheel part of:  every Car.
   FL with a quantifCtxt:   Wheel part of: Car __[a->every]. 
   FL with Car first:       Car part: Wheel __[every<-a].
   FL-DF with Wheel first:  Wheel --part of _[a->every]--> Car
   FL-DF with Car first:    Car --part _[every<-a]--> Wheel
   FE:                      a Wheel is part of every Car.
   FE:                      there is a Wheel which is part of every Car.