{"action":"opened","issue":{"url":"https://api.github.com/repos/aig-upf/universal-pddl-parser/issues/1","repository_url":"https://api.github.com/repos/aig-upf/universal-pddl-parser","labels_url":"https://api.github.com/repos/aig-upf/universal-pddl-parser/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/aig-upf/universal-pddl-parser/issues/1/comments","events_url":"https://api.github.com/repos/aig-upf/universal-pddl-parser/issues/1/events","html_url":"https://github.com/aig-upf/universal-pddl-parser/issues/1","id":237251901,"number":1,"title":"Add support for negative existential conditions","user":{"login":"ertsiger","id":4553219,"avatar_url":"https://avatars3.githubusercontent.com/u/4553219?v=3","gravatar_id":"","url":"https://api.github.com/users/ertsiger","html_url":"https://github.com/ertsiger","followers_url":"https://api.github.com/users/ertsiger/followers","following_url":"https://api.github.com/users/ertsiger/following{/other_user}","gists_url":"https://api.github.com/users/ertsiger/gists{/gist_id}","starred_url":"https://api.github.com/users/ertsiger/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ertsiger/subscriptions","organizations_url":"https://api.github.com/users/ertsiger/orgs","repos_url":"https://api.github.com/users/ertsiger/repos","events_url":"https://api.github.com/users/ertsiger/events{/privacy}","received_events_url":"https://api.github.com/users/ertsiger/received_events","type":"User","site_admin":false},"labels":[{"id":375235394,"url":"https://api.github.com/repos/aig-upf/universal-pddl-parser/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-06-20T15:27:36Z","updated_at":"2017-06-20T15:27:36Z","closed_at":null,"body":"Currently, negative existential conditions are not supported. For example\r\n\r\n```\r\n(not\r\n    (exists\r\n        (?a2 - agent) \r\n        (not (= ?a ?a2))\r\n    )\r\n)\r\n```\r\n\r\ncannot be expressed."}}
{"actor":{"display_login":"ertsiger"}}