QVT11 — Issue against QVT ptc/07-07-07 : clause 7.2.3

Text of Clause 7.2.3 is unclear:

Suggested rewrite:

(1) Add the following as the first two sentences of the first
paragraph.

"In the evaluation of a Transformation, one or more domains are
specified as target. The phrase 'executing in the direction of [some
domain]' refers to these domains."

Then change a few words in the paragraph as suggest by the text in []
below:

"Whether or not the [change "the" to "a"] relationship maybe [should
be "is"] enforced is determined by the target domain, which may be
marked as checkonly or enforced. When a transformation
[change "transformation" to "relation"] is enforced
[change "enforced" to "evaluated"] in the direction of a checkonly
domain, it is simply checked to see if [change "if" to "whether"]
there exists a valid match in the relevant model that satisfies the
relationship. When a transformation executes in the direction of the
model of an enforced domain, if checking fails, the target model is
modified so as to satisfy the relationship, i.e. a
check-before-enforce semantics."

[Strike the words beginning with "i.e." "check-before-enforce" is new
terminology that is neither defined nor helpful.]

Yes, we can certainly try to be clearer.