Notice that the rule n2 reads as if

Notice that the rule n2 reads as if X is not a bird then X does not fly, which corresponds to our specification. This is different from the rule -iflies(X)

Kết quả (Việt) 1:

Chú ý rằng quy tắc n2 lần đọc như nếu X không phải là một con chim thì X không bay, mà tương ứng với đặc điểm kỹ thuật của chúng tôi. Điều này là khác nhau từ-iflies(X) quy tắc < — Không bird(X)

Kết quả (Việt) 2:

Chú ý rằng các quy tắc n2 đọc như nếu X không phải là một con chim sau đó X không bay, tương ứng với đặc điểm kỹ thuật của chúng tôi. Điều này khác với các quy tắc -iflies (X) <- không cầm (X)