構文解析器が右から左に非演算子を評価する時
perse-noun-phrase中の
(amb noun-phrase
(maybe-extend (list 'noun-phrase noun-phrase
(parse-prepositional-phrase))))
で,maybe-extendが先に評価されてしまう.
すると,実際に名詞が先にきた場合はmaybe-extendは失敗する.
次のnoun-phraseで成功して処理が終わる.
名詞の後ろに前置詞がきてる場合はそこの解析は行われない.
そのためamb評価器は左から右へ評価していく必要が有る.