Известно, что на сегодняшний день (начало 2017 года) наибольшее количество номинаций на кинопремию "Оскар" в категории «За лучший оригинальный сценарий» имеет Вуди Аллен. А сколько раз он становился номинантом на "Оскар" в этой номинации?