instance LexAttemptoFre of LexAttempto = 
  open ExtraFre, SyntaxFre, ParadigmsFre, ConstructX, 
    MakeStructuralFre,
    IrregFre, (P = Prelude) in {

oper
  possible_A = mkA "possible" ;
  necessary_A = mkA "nécessaire" ;
  own_A = mkA "propre" ;
  have_VV = SyntaxFre.must_VV ;
  provably_Adv = mkAdv "démontrablement" ;
  provable_A = mkA "démontrable" ;
  false_A = mkA "faux" ;
  such_A = mkA "tel" "telle" ;

  genitiveNP np cn = mkNP (mkNP the_Art cn) (SyntaxFre.mkAdv possess_Prep np) ;

  each_Det = every_Det ; ----

  that_Subj = mkSubj "que" ; ---- qu'

  comma_and_Conj = mkConj [] ", et" plural ;
  comma_or_Conj = mkConj [] ", ou" singular ;
  slash_Conj = mkConj [] "/" singular ;

  whose_IDet = mkIDet (mkIQuant "de qui") ; ----

  eachOf np = mkNP (mkPredet "chacun" "chacune" genitive P.True) np ;

  adj_thatCl : A -> S -> Cl = \a,s -> 
    mkCl (mkVP (mkVP (mkAP a)) (SyntaxFre.mkAdv that_Subj s)) ;

}