concrete SentencesFin of Sentences = NumeralFin ** SentencesI with 
  (Syntax = SyntaxFin),
  (Symbolic = SymbolicFin),
  (Lexicon = LexiconFin) ;