Socrates instantiates a rich property, and so is an instance of a property, but it doesn't follow th...