ElementEqualityFromListEquality




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