{"push_id":718072961,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ffc0ce8fb06f26d18d7021fce6fe4693f4a4630f","before":"32791b5f3a30bcf729cd8ae156807cb00a006bda","commits":[{"sha":"ffc0ce8fb06f26d18d7021fce6fe4693f4a4630f","author":{"email":"167b80cf6a6bc34b0e1646fc9262c652023f8750@soton.ac.uk","name":"David Monks"},"message":"changed the text more fundamentally to specify the concepts of entailment justification and instance entailment justification, time-annotation inheritance for entailed instances and the summary of the nature of the streams P and N.  Also clarified the concepts of F0 and E0","distinct":true,"url":"https://api.github.com/repos/scalen/CoDeR4/commits/ffc0ce8fb06f26d18d7021fce6fe4693f4a4630f"}]}