module ElasticityGrammar::LogicCond4