@prefix func: <http://www.w3.org/2007/rif-builtin-function#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <https://eyereasoner.github.io/eye/reasoning/4color#>.

{
    ((?PLACE ?COLOR) {?PLACE :neighbours ?NEIGHBOURS} ?LIST) log:collectAllIn ?SCOPE.
    (?LIST) func:reverse ?PLACES.
    ?PLACES :places true.
} => {
    ?PLACES :coloring true.
}.
