On Tue, 2 Sep 2003, pat hayes wrote: > >The test case document currently doesn't have explicit > >"consistent/inconsistent" test cases; these have usually been encoded > >using entailment or non-entailment of false graphs. > > Well, if y'all are happy to phrase things this way, then OK; but > there is no such thing as a false graph, actually. I know; the test case manifest uses a "constant" to stand in for "a false [pseudo-]graph" when describing test cases with false conclusions. -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/ Lambda calculus? I hardly know 'er!Received on Wednesday, 3 September 2003 04:33:09 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:59:54 EDT