automatic deduction plans - Spanish English Dictionary