module ElasticityGrammar::LogicCond1