{"action":"opened","issue":{"url":"https://api.github.com/repos/Maumagnaguagno/HyperTensioN_U/issues/8","repository_url":"https://api.github.com/repos/Maumagnaguagno/HyperTensioN_U","labels_url":"https://api.github.com/repos/Maumagnaguagno/HyperTensioN_U/issues/8/labels{/name}","comments_url":"https://api.github.com/repos/Maumagnaguagno/HyperTensioN_U/issues/8/comments","events_url":"https://api.github.com/repos/Maumagnaguagno/HyperTensioN_U/issues/8/events","html_url":"https://github.com/Maumagnaguagno/HyperTensioN_U/issues/8","id":197458461,"number":8,"title":"Wrong arity for axiom q","user":{"login":"Maumagnaguagno","id":11094484,"avatar_url":"https://avatars.githubusercontent.com/u/11094484?v=3","gravatar_id":"","url":"https://api.github.com/users/Maumagnaguagno","html_url":"https://github.com/Maumagnaguagno","followers_url":"https://api.github.com/users/Maumagnaguagno/followers","following_url":"https://api.github.com/users/Maumagnaguagno/following{/other_user}","gists_url":"https://api.github.com/users/Maumagnaguagno/gists{/gist_id}","starred_url":"https://api.github.com/users/Maumagnaguagno/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Maumagnaguagno/subscriptions","organizations_url":"https://api.github.com/users/Maumagnaguagno/orgs","repos_url":"https://api.github.com/users/Maumagnaguagno/repos","events_url":"https://api.github.com/users/Maumagnaguagno/events{/privacy}","received_events_url":"https://api.github.com/users/Maumagnaguagno/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-12-24T10:55:23Z","updated_at":"2016-12-24T10:55:23Z","closed_at":null,"body":"Axiom ``satisfied`` calls axiom ``q`` with 3 instead of 2 terms, which always evaluates to **false**.\r\n```lisp\r\n(:- (satisfied ?c ?ci ?cv)\r\n  (and (not (null ?c ?ci ?cv)) (not (terminal ?c ?ci ?cv)) (q ?c ?ci ?cv))\r\n)\r\n```\r\nAxiom ``q`` is defined by one variable and one constant parameter, the version with 3 terms appear commented in other places.\r\n```lisp\r\n(:- (q ?c C1 )\r\n  (and (commitment ?c ?ci ?d ?a) (var ?c ?ci ) (and (diagnosisProvided ?d ?a)) )\r\n)\r\n```"}}
{"actor":{"display_login":"Maumagnaguagno"}}