symbolic_language_with_logical_grammar