{"push_id":901645428,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"53a497aa80f5983b0309fd380d020ee86597991f","before":"3e22b3467f081824e022315d668e040bfc9cf1ca","commits":[{"sha":"53a497aa80f5983b0309fd380d020ee86597991f","author":{"email":"c82430478535aa9c695d95cc6289029e6c2317fe@acm.org","name":"Don Johnson"},"message":"Corrected a defect in the parser's \"imply only\" validation.  Only those properties asserted by the manuscript are now validated and not those inferred by the reasoner.","distinct":true,"url":"https://api.github.com/repos/drj826/semlang/commits/53a497aa80f5983b0309fd380d020ee86597991f"}]}