overlap/3 query implemented.
Put logic into seperate file. disjoint predicate still not working