Représentation de phrases

Solutions aux 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.
   
   

0.s.contexte. Méta-phrases (contextes)

Représentez dans le LRC que vous souhaitez -- après l'avoir précisé -- et en respectant les règles de modélisation données en cours, la phrase "If a student S does not ask a teacher about a point P at a time T, this is because he (S) has understood this point before T or he does not want to learn P". Notes :
- pour représenter le "or", utilisez une relation de type "or" entre 2 phrases,
- rappelez vous qu'une relation est une phrase,
- en FL, 14 relations (dont 2 relations de type "time") suffisent pour la
  représentation demandée (→ 3 à 5 lignes); vous avez déjà vu plusieurs fois en cours
  les autres relations nécessaires.

FL:  [ [a student ?s  not agent of: (a asking  recipient: a teacher, object: a point ?p)]
       time: ?t ]
     => [ [ [?s agent of: (an understanding  object: ?p)] time: (?t2 successor: ?t) ] or:
          [?s not agent of: (a wanting  object: [?s agent of: (a learning object: ?p)]) ]
        ]

Représentez dans le LRC que vous souhaitez -- après l'avoir précisé -- et en respectant les règles de modélisation données en cours, la phrase "Having read the E5_course is sufficient for a student to represent this phrase". Notes :
- la solution à cet exercice ressemble à celle pour l'exercice précédent
  (avec 2 lignes au lieu de 4 ou 5),
- en FL, 4 relations suffisent pour la représentation demandée.

FL:  [a phrase ?p [a student ?s  agent of: (a reading  object: the E5_course)]
     => [?s  can be agent of: (a representing object: ?p)] ]