Negation nodes provide a form of 'negation as failure'.
否定ノードは一種の「失敗による否定; negation as failure」を提供する。