I don't understand the ELEMENT REFINEMENT inference rule in section 6.1. Specifically, I don't understand the judgement "d in e": "in" is a relation between forests and *groups*, but "e" ranges over element names. I have a similar problem with the WILDCARD inference rule.Received on Friday, 27 April 2001 02:41:20 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:12:50 GMT