Re: asn06 take 2 (Abstract Syntax as a kind of ontology?)

> I agree we can, though asn06 has the virtue of compactness. In 
> particular expressing "list of" is a pain in OWL full (and worse in OWL DL).

Can you summarize or send me a pointer to the best way or ways of saying
"list of"?  That's kind of where I got bogged down, not sure of the
correct way to do it here.

      -- Sandro