add ProperDefination.k PropertyConstant.k and PropertyAssociation.k