SYSML2 — Subject of an include use case usage

In 7.24.1 Use Cases Overview, in the third paragraph, it states:

The subject of the included use case is the same as the subject of the containing use case...

In 7.24.3 Include Use Case Usages, in the third paragraph, it also states:

The subject of an included use case usage is bound by default to the subject of its containing use case definition or usage.

However, there is no semantic constraint in the abstract syntax to enforce this.