automatic deduction - Turkish English Dictionary