Section 3.8 Inference Rules show the following example: d1 in g1 d2 in g2 ------------------------------------- d1 ,d2 in g1 The judgement below the line seems to be missing ",g2" following "g1". -RayReceived on Thursday, 22 March 2001 18:23:47 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 23 October 2007 06:13:20 GMT