NestedListsAreNotFlatLists

From RIF
Revision as of 13:12, 2 February 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest 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.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