Delete PropertyDefination.k