A method based on rules and machine learning for logic form identification in Spanish