module ElasticityGrammar::LogicCond5