module ElasticityGrammar::LogicCond2