Definition of Quarry