Contract Interpretation: The Language of Lists