Approved BLD Test equality between lists and constants IRIs may be mapped to arbitrary elements in the domain, and so also to elements representing lists. ListConstantEquality-premise.rif http://www.w3.org/2005/rules/test/repository/tc/ListConstantEquality/ListConstantEquality-premise.rif ) Group( ex:a=List(ex:b ex:c) ex:p(ex:a) ) ) ]]> ListConstantEquality-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/ListConstantEquality/ListConstantEquality-conclusion.rif