Warning:
This wiki has been archived and is now read-only.

NestedListsAreNotFlatLists

From RIF
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.org/example#>) Group( ex:p(List(ex:a List(ex:b))) ) )
XMLview RIF/XML
Non-conclusion
Presentation Syntaxex:p(List(ex:a ex:b))
XMLview RIF/XML
Retrieved from "https://www.w3.org/2005/rules/wiki/index.php?title=NestedListsAreNotFlatLists&oldid=12021"