module ElasticityGrammar::BooleanExp3