I suppose this should work, also:

when
   position : Position()
   option: OptionInstrument() from position.instrument

And to me it looks well readable. But what difference does it make, behind the curtains? Is it more or less efficient?