Property information
x overlaps y if and only if there exists some z such that x has part z and z part of y
x overlaps y if and only if there exists some z such that x has part z and z part of y