NAF simulates this by failure of unification.
NAF ではこれをユニフィケーションの失敗でシミュレートする。