Property operator in sequence context #SVA

In reply to dave_59:

Hi Dave,
What would be the correct solution?

Thanks!