SBVR11 — Error in Example for "noun concept nominalization"

In clause 9.2.8, on page 71, the first example under "noun concept nominalization" is incomplete. The text says "In this example, ‘petrol’ is a mention of the concept ‘petrol’ which is used in the ‘type’ role of a fact type ‘quantity is of type’. " However, the formulation shown is missing the use of that fact type. Proposed resolution:
Revise the example to read as follows. New/changed text indicated in red.
Example: EU-Rent stores at least 300 kiloliters of petrol.”
In this example, ‘petrol’ is a mention of the concept ‘petrol’ which is used in the ‘type’ role of a fact type ‘quantity is of type’.
The statement is formulated by an at-least-n quantification.
. The minimum cardinality of the quantification is 300.
. The quantification introduces a first variable.
. . The first variable ranges over the concept ‘kiloliter’.
. The quantification scopes over an existential quantification.
. . The existential quantification introduces a second variable.
. . . The second variable ranges over the concept 'type'
. . . The second variable is restricted by a noun concept nominalization.
. . . . The noun concept nominalization binds to the second variable.
. . . . The noun concept nominalization considers a projection.
. . . . . The projection is on a third variable.
. . . . . . The third variable ranges over the concept ‘petrol’.
. . The existential quantification scopes over an atomic formulation.
. . . The atomic formulation is based on the fact type ‘company stores thing’.
. . . . The ‘company’ role is bound to the individual concept ‘EU-Rent’.
. . . . The ‘thing’ role is bound to the first variable.
. The at-least-n quantification is restricted by an atomic formulation.
. . The atomic formulation is based on the fact type 'quantity is of type'
. . . The 'quantity' role is bound to the first variable.
. . . The 'type' role is bound to the second variable.

(an alternate, and perhaps better, formulation would move the existential quantification of 'type' to the start)

Revise the example to read as follows. New/changed text indicated in red.
Example: EU-Rent stores at least 300 kiloliters of petrol.”
In this example, ‘petrol’ is a mention of the concept ‘petrol’ which is used in the ‘type’ role of a fact type ‘quantity is of type’.
The statement is formulated by an at-least-n quantification.
. The minimum cardinality of the quantification is 300.
. The quantification introduces a first variable.
. . The first variable ranges over the concept ‘kiloliter’.
. The quantification scopes over an existential quantification.
. . The existential quantification introduces a second variable.
. . . The second variable ranges over the concept 'type'
. . . The second variable is restricted by a noun concept nominalization.
. . . . The noun concept nominalization binds to the second variable.
. . . . The noun concept nominalization considers a projection.
. . . . . The projection is on a third variable.
. . . . . . The third variable ranges over the concept ‘petrol’.
. . The existential quantification scopes over an atomic formulation.
. . . The atomic formulation is based on the fact type ‘company stores thing’.
. . . . The ‘company’ role is bound to the individual concept ‘EU-Rent’.
. . . . The ‘thing’ role is bound to the first variable.
. The at-least-n quantification is restricted by an atomic formulation.
. . The atomic formulation is based on the fact type 'quantity is of type'
. . . The 'quantity' role is bound to the first variable.
. . . The 'type' role is bound to the second variable.

(an alternate, and perhaps better, formulation would move the existential quantification of 'type' to the start)