automatic deduction plans - İspanyolca İngilizce Sözlük