The weaker rule, that uses strong negation in the body, is preferable: Cross ← ∼ Train . {\displaystyle {\hbox{Cross}}\leftarrow \,\sim {\hbox{Train}}.} It says that it's okay to cross if we know that no train is approaching.
Слабше правило, яке використовує сильне заперечення у своєму тілі, є кращим: Cross ← ∼ Train . {\displaystyle {\hbox{Cross}}\leftarrow \,\sim {\hbox{Train}}.} Воно каже, що можна перетинати, якщо ми знаємо, що потяг не наближається.