Approved BLD Test equality between lists and constants representing data values Lists are mapped to elements in the domain that are not data values, and so assertion of equality between a data value and a list is inconsistent, and entails falsehood (written as Or() in RIF). ListLiteralEquality-premise.rif http://www.w3.org/2005/rules/test/repository/tc/ListLiteralEquality/ListLiteralEquality-premise.rif ) Group( "a"=List(ex:b) ) ) ]]> ListLiteralEquality-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/ListLiteralEquality/ListLiteralEquality-conclusion.rif