nars logic interface