Альтернативный вариант parse-verb-phrase

Хьюго Дум говорит, что поскольку глагольная группа — это либо глагол, либо глагольная группа плюс предложная группа, было бы намного естественнее определить процедуру parse-verb-phrase так (и то же сделать для именных групп):

(define (parse-verb-phrase)
  (amb (parse-word verbs)
       (list 'verb-phrase
             (parse-verb-phrase)
             (parse-prepositional-phrase))))

Работает ли этот вариант? Изменится ли поведение программы, если мы поменяем местами выражения в amb ?

---