A language for expressing rules about the arrangement of objects in space