module ElasticityGrammar::BooleanExp2