No unfortunately the property based macros will define the same message on both the getter and setter. If you want them to be different, would have to split them as you already noted. I’ve ran into this myself in the past :/.
Now that we have the @caller macro, is possible we could do something to tell it this message goes on the getter while this message goes on the setter. Tho probably would be quite complex and debatable if it’s worth the effort.
Yeah if you want separate doc comments, just use separate getter and setter. This is most straightforward and semantically entirely equivalent.
property is a short cut when you want just a quick and simple way to define an ivar an accessors for it.
If you want to add extended documentation, this short cut doesn’t work.