:- use_module(library(mavis)).

:- use_module(library(tap)).

has_intersection(between(1,10), between(5,15)).