concrete SentencesTha of Sentences = NumeralTha ** SentencesI with 
  (Syntax = SyntaxTha),
  (Symbolic = SymbolicTha),
  (Lexicon = LexiconTha) ;