HasProperty
蟻