HasProperty
式