SYSML2 — The description and derivation of ForLoopActionUsage::seqArgument is wrong

The description of ForLoopActionUsage::seqArgument is (see 8.3.16.9 ForLoopActionUsage):

The Expression whose result provides the sequence of values to which the loopVariable is set for each iterative performance of the bodyAction. It is the owned parameter that redefines ForLoopAction::body.

The second sentence is clearly wrong. It should instead be

It is the Expression whose result is bound to the seq input parameter of this ForLoopActionUsage.

Similarly, the description of the constraint deriveForLoopActionUsageSeqArgument should be

The seqArgument of a ForLoopActionUsage is its first argument Expression.

and with the OCL

seqArgument = argument(1)