property inference