Property Paths Cardinality

Overall seems pretty sensible, but there's one proposal that I'm not clear on:

"PROPOSED: The cardinality of solutions to fixed-length paths
is the same as the cardinality of solutions to the path expanded into
triple patterns (with all variables projected); the cardinality of
solutions to variable-length paths is the cardinality of solutions
via paths that do not repeat nodes; the cardinality of solutions to
paths combining fixed and variable length (elt{n,} ) is a combination
of the fixed definition plus the variable definition for paths longer than the fixed length."

I've read the minutes, but it's a little hard to interpret this proposal without known-good examples.

I'm guessing this means that ?x :p/:q* ?y is variable length path and so that part of the solution is effectively distinct? Another interpretation is that the :p sub-path is fixed length, so only the :q part of the path is distinct.

- Steve