ElementEqualityFromListEquality

From RIF

Test Type	PositiveEntailmentTest
Contributor	Jos de Bruijn
Status	Proposed
Record
Dialect	BLD
Purpose	Test equality between lists
Description	Equality of elements is derived from equality of lists.
SeeAlso
SpecRef	BLD#Logical_Entailment
Premises	Presentation Syntax Document( Prefix(ex <http://example.com/example#>) Group( List(ex:a) = List(ex:b) ) ) XML view XML
Conclusion	Presentation Syntax ex:a=ex:b XML view XML