module ElasticityGrammar::LogicCond3