concrete SentencesDan of Sentences = NumeralDan ** SentencesI with 
  (Syntax = SyntaxDan),
  (Symbolic = SymbolicDan),
  (Lexicon = LexiconDan) ;