{"push_id":609790940,"size":1,"distinct_size":1,"ref":"refs/heads/structuredEngFastSlow","head":"4fdbcd48be5a2c98c11a266fa0567b8ef4612b6e","before":"5fc9dff20b79e2ec38f0f43e2188d1c2be977bef","commits":[{"sha":"4fdbcd48be5a2c98c11a266fa0567b8ef4612b6e","author":{"email":"49df93f79fd3a501830eac04997b8ae567a5f5db@gmail.com","name":"Catherine Wong"},"message":"added parsing from Structured English to fastslow LTL","distinct":true,"url":"https://api.github.com/repos/wongkaiweng/LTLMoP/commits/4fdbcd48be5a2c98c11a266fa0567b8ef4612b6e"}]}