SBVR — SBVR Annex E minor corrections

In the final read through of Annex E (EU-Rent example) a few errors of content were noticed.
Corrections are given below.

Revised Text:
E.2.2.1.1: rental car is assigned to car movement
Necessity:
replace "…car movement is of the car model …"
with "…car movement is of some car model …"
E2.2.1.2: transfer drop-off branch
Definition:
replace "branch from which the transferred car of a car transfer is picked up"
with "branch at which the transferred car of a car transfer is dropped off"
E.2.2.1.5: pick-up branch
Necessity:
replace "The pick-up branch of a rental may not be changed."
with "The pick-up branch of a rental is not changed."
E.2.2.1.5: rental
Definition:
replace "… specifying use of a car of a car group…"
with "… specifying use of some car of a car group…"
E.2.2.1.9 drop-off branch
replace Necessity "A car may be returned to a location other than …"
with Note "A car may be returned to a branch other than …"
E.2.2.1.10 rental car is of car model
Insert new entry immediately following:
rental car is of car group
Concept Type: associative fact type
Necessity: A rental car is of a car group if and only if the rental car is of some car model that is included in the car group.
E.2.2.1.11 renter is responsible for rental
Necessity
Replace "The renter of a rental may not be changed"
With "The renter of a rental is not changed"
E.2.2.2.5 Page 380, second rule
Rule statement
Replace "If the actual pick-up date/time of each rental is after the end date/time …"
With "If the actual return date/time of a rental is after the end date/time …"
Supporting fact types
Replace "rental has actual pick-up date/time"
With "rental has actual return date/time"
Related facts
Delete "the noun concept 'actual pick-up date/time' is a role that ranges over the noun concept 'date/time'"
E.2.2.2.11.2 First rule
Rule statement
Replace "… is provisionally charged to a credit card …"
With "… is provisionally charged to some credit card …"

Repeated error in Necessity for inclusion in a segmentation
In several places the Necessity is incorrectly stated as
"aaa is included in Bbbbbbb" instead of
"The concept 'aaa' is included in Bbbbbbb".
For example, in E.2.2.1.3, city branch:
replace "city branch is included in Branches by Type."
with "The concept 'city branch' is included in Branches by Type."
The same change needs to be made for:
E.2.2.1.6 in-country one-way rental
E.2.2.1.6 in-country rental
E.2.2.1.6 international rental
E.2.2.1.6 international inward rental
E.2.2.1.6 international outward rental
E.2.2.1.6 local one-way rental
E.2.2.1.6 round-trip rental
E.2.2.1.6 walk-in rental
E.2.2.1.7 cash rental
E.2.2.1.7 cash rental price
E.2.2.1.7 driver charge
E.2.2.1.7 extras charge
E.2.2.1.7 penalty charge
E.2.2.1.7 points rental
E.2.2.1.7 points rental price
E.2.2.1.11 corporate renter
E.2.2.1.11 individual customer

Characteristics used to define states.
There is a mixture of use of the verb form and the gerund form. The verb form seems better for states. The changes are:
Section Replace With
E.2.2.1.6 advance rental being assigned advance rental is assigned
E.2.2.1.6 advance rental being reserved advance rental is reserved
E.2.2.1.6 rental being returned rental is returned
E.2.2.1.9 rental being late rental is late
E.2.2.1.9 rental being overdue rental is overdue
E.2.2.1.9 rental car being in need of repair rental car is in need of repair
E.2.2.1.9 rental car being in need of service rental car is in need of service
E.2.2.1.9 driver being barred driver is barred

Disposition: Resolved

No Data Available