automatic deduction plan - Spanisch Englisch Wörterbuch