On Wed, 8 Oct 2003, Jeremy Carroll wrote: > > Would you like me to change the test by deleting this part of the conclusion? This would be a solution. > We could add a separate test with this part as a nonconclusion. > Any idea what the minimal premises are? > > Is it worth comparing the test with the original DL 98 test (or is that oo > much of a pain)? I tried that, and yes it's a pain :-). I'm not quite sure what went wrong -- given that the rest of the tests seem ok I don't think that there's a problem with the translation code, but it could be that I messed up somewhere. Sean -- Sean Bechhofer seanb@cs.man.ac.uk http://www.cs.man.ac.uk/~seanbReceived on Wednesday, 8 October 2003 06:06:16 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC