ListEqualityFromElementEquality




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordFebruary 16, 2010 telecon
DialectBLD
PurposeTest equality between lists
DescriptionEquality of lists is derived from equality of elements.
SeeAlso
SpecRefBLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group( ex:a=ex:b ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxList(ex:a) = List(ex:b)
XMLview RIF/XML
Last modified on 2 March 2010, at 01:36