concrete SentencesBul of Sentences = NumeralBul ** SentencesI with 
  (Syntax = SyntaxBul),
  (Symbolic = SymbolicBul),
  (Lexicon = LexiconBul) ;