NestedListsAreNotFlatLists

From RIF

Revision as of 01:26, 24 October 2009 by StellaMitchell (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search




Test TypeNegativeEntailmentTest
ContributorJos de Bruijn
StatusApproved
Record13 Oct 2009 telecon
DialectCore
PurposeNested lists are not flat lists
Description
SeeAlso
SpecRefBLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.com/example#>) Group( ex:p(List(ex:a List(ex:b))) ) )
XMLview XML
Non-conclusion
Presentation Syntaxex:p(List(ex:a ex:b))
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/NestedListsAreNotFlatLists"