{"action":"created","issue":{"url":"https://api.github.com/repos/emiliorodo/Reasoner/issues/1","labels_url":"https://api.github.com/repos/emiliorodo/Reasoner/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/emiliorodo/Reasoner/issues/1/comments","events_url":"https://api.github.com/repos/emiliorodo/Reasoner/issues/1/events","html_url":"https://github.com/emiliorodo/Reasoner/issues/1","id":95891325,"number":1,"title":"BottomRule finds all possible clashes","user":{"login":"emiliorodo","id":2193505,"avatar_url":"https://avatars.githubusercontent.com/u/2193505?v=3","gravatar_id":"","url":"https://api.github.com/users/emiliorodo","html_url":"https://github.com/emiliorodo","followers_url":"https://api.github.com/users/emiliorodo/followers","following_url":"https://api.github.com/users/emiliorodo/following{/other_user}","gists_url":"https://api.github.com/users/emiliorodo/gists{/gist_id}","starred_url":"https://api.github.com/users/emiliorodo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/emiliorodo/subscriptions","organizations_url":"https://api.github.com/users/emiliorodo/orgs","repos_url":"https://api.github.com/users/emiliorodo/repos","events_url":"https://api.github.com/users/emiliorodo/events{/privacy}","received_events_url":"https://api.github.com/users/emiliorodo/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"emiliorodo","id":2193505,"avatar_url":"https://avatars.githubusercontent.com/u/2193505?v=3","gravatar_id":"","url":"https://api.github.com/users/emiliorodo","html_url":"https://github.com/emiliorodo","followers_url":"https://api.github.com/users/emiliorodo/followers","following_url":"https://api.github.com/users/emiliorodo/following{/other_user}","gists_url":"https://api.github.com/users/emiliorodo/gists{/gist_id}","starred_url":"https://api.github.com/users/emiliorodo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/emiliorodo/subscriptions","organizations_url":"https://api.github.com/users/emiliorodo/orgs","repos_url":"https://api.github.com/users/emiliorodo/repos","events_url":"https://api.github.com/users/emiliorodo/events{/privacy}","received_events_url":"https://api.github.com/users/emiliorodo/received_events","type":"User","site_admin":false},"milestone":null,"comments":1,"created_at":"2015-07-19T06:22:45Z","updated_at":"2015-07-19T07:07:54Z","closed_at":null,"body":"Currently the bottom rule finds all possible clashes for a concept before deciding to add bottom to its label. Finding a single clash is sufficient. Therefore, stop after finding a single clash."},"comment":{"url":"https://api.github.com/repos/emiliorodo/Reasoner/issues/comments/122634226","html_url":"https://github.com/emiliorodo/Reasoner/issues/1#issuecomment-122634226","issue_url":"https://api.github.com/repos/emiliorodo/Reasoner/issues/1","id":122634226,"user":{"login":"emiliorodo","id":2193505,"avatar_url":"https://avatars.githubusercontent.com/u/2193505?v=3","gravatar_id":"","url":"https://api.github.com/users/emiliorodo","html_url":"https://github.com/emiliorodo","followers_url":"https://api.github.com/users/emiliorodo/followers","following_url":"https://api.github.com/users/emiliorodo/following{/other_user}","gists_url":"https://api.github.com/users/emiliorodo/gists{/gist_id}","starred_url":"https://api.github.com/users/emiliorodo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/emiliorodo/subscriptions","organizations_url":"https://api.github.com/users/emiliorodo/orgs","repos_url":"https://api.github.com/users/emiliorodo/repos","events_url":"https://api.github.com/users/emiliorodo/events{/privacy}","received_events_url":"https://api.github.com/users/emiliorodo/received_events","type":"User","site_admin":false},"created_at":"2015-07-19T07:07:54Z","updated_at":"2015-07-19T07:07:54Z","body":"subsumer clashes are now detected lazily and we only need to detect a single clash for the rule to be triggered"}}