examples/phrasebook/SentencesFre.gf


1
2
3
4
5
6
7
8
9

concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [WhetherIs] 
  with 
    (DiffPhrasebook = DiffPhrasebookFre), 
    (Syntax = SyntaxFre) ** open SyntaxFre, ExtraFre in {

    lin WhetherIs item quality = 
      lin QS {s = \\_ => (EstcequeS (mkS (mkCl item quality))).s} ;

}