{"action":"opened","issue":{"url":"https://api.github.com/repos/abella-prover/abella/issues/34","labels_url":"https://api.github.com/repos/abella-prover/abella/issues/34/labels{/name}","comments_url":"https://api.github.com/repos/abella-prover/abella/issues/34/comments","events_url":"https://api.github.com/repos/abella-prover/abella/issues/34/events","html_url":"https://github.com/abella-prover/abella/issues/34","id":59270932,"number":34,"title":"Cannot read clauses with propositional variables in their heads","user":{"login":"yvting","id":320428,"avatar_url":"https://avatars.githubusercontent.com/u/320428?v=3","gravatar_id":"","url":"https://api.github.com/users/yvting","html_url":"https://github.com/yvting","followers_url":"https://api.github.com/users/yvting/followers","following_url":"https://api.github.com/users/yvting/following{/other_user}","gists_url":"https://api.github.com/users/yvting/gists{/gist_id}","starred_url":"https://api.github.com/users/yvting/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yvting/subscriptions","organizations_url":"https://api.github.com/users/yvting/orgs","repos_url":"https://api.github.com/users/yvting/repos","events_url":"https://api.github.com/users/yvting/events{/privacy}","received_events_url":"https://api.github.com/users/yvting/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/abella-prover/abella/labels/bug","name":"bug","color":"e11d21"}],"state":"open","locked":false,"assignee":{"login":"yvting","id":320428,"avatar_url":"https://avatars.githubusercontent.com/u/320428?v=3","gravatar_id":"","url":"https://api.github.com/users/yvting","html_url":"https://github.com/yvting","followers_url":"https://api.github.com/users/yvting/followers","following_url":"https://api.github.com/users/yvting/following{/other_user}","gists_url":"https://api.github.com/users/yvting/gists{/gist_id}","starred_url":"https://api.github.com/users/yvting/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yvting/subscriptions","organizations_url":"https://api.github.com/users/yvting/orgs","repos_url":"https://api.github.com/users/yvting/repos","events_url":"https://api.github.com/users/yvting/events{/privacy}","received_events_url":"https://api.github.com/users/yvting/received_events","type":"User","site_admin":false},"milestone":null,"comments":0,"created_at":"2015-02-27T17:53:37Z","updated_at":"2015-02-27T17:53:37Z","closed_at":null,"body":"Abella fails to read a specification containing containing clauses whose heads are propositional variables.\r\n\r\nFor instance, when reading the following specification\r\n\r\n----------------------------------\r\nsig tst.\r\ntype  p         o.\r\n-----------------------------------\r\nmodule tst.\r\np.\r\n-----------------------------------\r\n\r\nAbella reports an error : \"Error: Failed while reading specification\".\r\n\r\nHowever, it is OK for propostional variables to occur in the body of clauses. The following specification is accepted by Abella.\r\n\r\n-------------------------------------\r\nsig tst.\r\nkind i     type.\r\ntype p     o.\r\ntype q     i -> o.\r\n---------------------------------------\r\nmodule tst.\r\nq M :- p.\r\n----------------------------------------\r\n\r\nThis is apparently a parsing error and should be easy to fix.\r\n\r\n\r\n"}}