concrete SentencesPol of Sentences = NumeralPol ** SentencesI with 
  (Syntax = SyntaxPol),
  (Symbolic = SymbolicPol),
  (Lexicon = LexiconPol) ;