A probability measure for partial events