Approved BLD Show that general open lists are valid structures (although some might call them malformed, they are not forbidden). "General Open Lists" (where the tail is not a list, that is, like LISP dotted pairs) are technically lists in BLD, although they don't necessarily behave like normal lists. They are not a syntax error, and are not a logic error. OpenLists-premise.rif http://www.w3.org/2005/rules/test/repository/tc/OpenLists/OpenLists-premise.rif ) Group( ex:p(List(ex:a | "b")) ) ) ]]> OpenLists-nonconclusion.rif http://www.w3.org/2005/rules/test/repository/tc/OpenLists/OpenLists-nonconclusion.rif