Describing object ownership rules