Non-semantic ties?

I don’t understand why Dorico allows impossible ties like the following:

Non-semantic ties

It is often required, e.g. when writing for piano or harp, to have ties between non-adjacent notes, for example in this kind of arpeggiated figure:

Top result when searching the manual for “non-semantic ties”, for reference, John:

That explains it! Thank you for taking the time, Daniel and @Lillie_Harris