{"issue":{"created_at":"2011-10-20T16:00:05Z","state":"closed","updated_at":"2011-12-02T18:52:51Z","comments":0,"user":{"gravatar_id":"226c8ed8a176c03340b3f41d9717d025","id":676838,"url":"https://api.github.com/users/pallix","avatar_url":"https://secure.gravatar.com/avatar/226c8ed8a176c03340b3f41d9717d025?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-140.png","login":"pallix"},"body":"The assumable attribute is ignored for statements (tag <s>) when the LKIF XML is imported. \r\n\r\nA temporary solution is to use a double negation, since not, and, or do works with the assumable attribute <not><not assumable=\"true>\"<s ...> </not></not>","assignee":null,"labels":[{"color":"e10c02","name":"Bug","url":"https://api.github.com/repos/carneades/carneades/labels/Bug"}],"id":2006287,"pull_request":{"patch_url":null,"html_url":null,"diff_url":null},"number":41,"title":"Assumable attribute ignored for statements tags in LKIF","closed_at":"2011-12-02T18:52:51Z","html_url":"https://github.com/carneades/carneades/issues/41","url":"https://api.github.com/repos/carneades/carneades/issues/41","milestone":null},"action":"closed"}