concrete SentencesEng of Sentences = NumeralEng ** SentencesI with 
  (Syntax = SyntaxEng),
  (Symbolic = SymbolicEng),
  (Lexicon = LexiconEng) ;