Flexible Operations for Natural Language Deduction