module ElasticityGrammar::LogicCond0