bool 
converse diversity
diversity projection
diversity
converse diversity intersection
diversity projection coprojection intersection difference
end
1 R 2
2 R 3
2 R 4
1 R 5
5 R 6
5 R 7
end
1 R 2
2 R 3
2 R 4
1 R 5
5 R 6
5 R 7
5 R 8
end
bool 
converse diversity
diversity projection
diversity
converse diversity intersection
diversity projection coprojection intersection difference
end
1 R 2
2 R 3
2 R 4
end
1 R 2
2 R 3
1 R 4
4 R 5
end
bool 
converse diversity
diversity projection
diversity
converse diversity intersection
diversity projection coprojection intersection difference
end
1 R 2
2 R 3
1 R 4
end
1 R 2
2 R 3
1 R 4
1 R 5
end
path
converse
projection
diversity projection coprojection
end
1 R 2
2 R 3
1 R 4
4 R 5
end
path
converse
projection
diversity projection coprojection
end
1 R 2
1 R 3
end
bool 
diversity converse projection
end
1 R 2
2 R 3
1 R 4
end
1 R 2
2 R 3
1 R 4
1 R 5
end