RE: ACTION: task force unasserted triples

I am trying to summarize my understanding, see attachment.

I need to go home now, so this is incomplete.

I need to add a link to my axiomatic + comprehension message, and draw up a table of comparison showing which approaches do what to
which test cases.

I think that straw polls as to what the WG thought about each test case would be revealing and allow progress.

Jeremy

Received on Wednesday, 24 April 2002 10:05:34 UTC