{"action":"created","issue":{"url":"https://api.github.com/repos/gleachkr/Carnap/issues/36","labels_url":"https://api.github.com/repos/gleachkr/Carnap/issues/36/labels{/name}","comments_url":"https://api.github.com/repos/gleachkr/Carnap/issues/36/comments","events_url":"https://api.github.com/repos/gleachkr/Carnap/issues/36/events","html_url":"https://github.com/gleachkr/Carnap/issues/36","id":105483395,"number":36,"title":"Predicate Logic","user":{"login":"davidfaraci","id":13985235,"avatar_url":"https://avatars.githubusercontent.com/u/13985235?v=3","gravatar_id":"","url":"https://api.github.com/users/davidfaraci","html_url":"https://github.com/davidfaraci","followers_url":"https://api.github.com/users/davidfaraci/followers","following_url":"https://api.github.com/users/davidfaraci/following{/other_user}","gists_url":"https://api.github.com/users/davidfaraci/gists{/gist_id}","starred_url":"https://api.github.com/users/davidfaraci/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davidfaraci/subscriptions","organizations_url":"https://api.github.com/users/davidfaraci/orgs","repos_url":"https://api.github.com/users/davidfaraci/repos","events_url":"https://api.github.com/users/davidfaraci/events{/privacy}","received_events_url":"https://api.github.com/users/davidfaraci/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-09-08T22:40:48Z","updated_at":"2015-09-11T19:28:14Z","closed_at":null,"body":"System reads 'x_1' as '*_1':\r\n![image](https://cloud.githubusercontent.com/assets/13985235/9749207/cafeb176-5658-11e5-8073-333ea24aeb8b.png)\r\nBy the way, is there a reason the parser needs to interpret x as x_1 as it did here? It might be nice for ease of reading/writing to allow just simple variables.\r\n\r\nAlso, would it be possible to have the system interpret predicates without parentheses--i.e., read Fa as F(a)?"},"comment":{"url":"https://api.github.com/repos/gleachkr/Carnap/issues/comments/139640649","html_url":"https://github.com/gleachkr/Carnap/issues/36#issuecomment-139640649","issue_url":"https://api.github.com/repos/gleachkr/Carnap/issues/36","id":139640649,"user":{"login":"gleachkr","id":6383381,"avatar_url":"https://avatars.githubusercontent.com/u/6383381?v=3","gravatar_id":"","url":"https://api.github.com/users/gleachkr","html_url":"https://github.com/gleachkr","followers_url":"https://api.github.com/users/gleachkr/followers","following_url":"https://api.github.com/users/gleachkr/following{/other_user}","gists_url":"https://api.github.com/users/gleachkr/gists{/gist_id}","starred_url":"https://api.github.com/users/gleachkr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gleachkr/subscriptions","organizations_url":"https://api.github.com/users/gleachkr/orgs","repos_url":"https://api.github.com/users/gleachkr/repos","events_url":"https://api.github.com/users/gleachkr/events{/privacy}","received_events_url":"https://api.github.com/users/gleachkr/received_events","type":"User","site_admin":false},"created_at":"2015-09-11T19:28:14Z","updated_at":"2015-09-11T19:28:14Z","body":"Ok, I've fixed the generation of premises. It should now retain the variables that you chose when you wrote out the problem. There's also a side-effect here of improving error messages, I think (they'll now use the user-generated bound variables too). The free variable issue might need some more thought. I'm a little torn, since it seems kind of nice to have a visual flag that a variable hasn't been bound. But maybe some other flag would be better?"}}