Semantic Interpretation by Rule-based Equivalent Transformation