concrete SentencesFin of Sentences = NumeralFin ** SentencesI with 
  (Syntax = SyntaxFin) ;