前述の not spawn(m,f,a). は、こっちでも not spawn(m,f,a). だった。*1 日本語の方も読み終わってないし、暇になったら読みます。 *1:『「以下は誤りです。」部分が「not」のみ』なのはそうだったけど。

とりあえず、P.93、罠のマークのパラグラフの最後、 not spawn(m,f,a). は、 spawn(m,f,a). だと思う*1のですが、今一つ確信がないし、いずれにせよ誤りだからどうでもいいか。 という訳でまだ100ページ読んでません。 遅々として進まなくて読み終わる気がし…