Approved
Core
BLD
PRD
Nested lists are not flat lists
NestedListsAreNotFlatLists-premise.rif
http://www.w3.org/2005/rules/test/repository/tc/NestedListsAreNotFlatLists/NestedListsAreNotFlatLists-premise.rif
)
Group(
ex:p(List(ex:a List(ex:b)))
)
)
]]>
NestedListsAreNotFlatLists-nonconclusion.rif
http://www.w3.org/2005/rules/test/repository/tc/NestedListsAreNotFlatLists/NestedListsAreNotFlatLists-nonconclusion.rif