SBVR — Correct glossary entry for proposition nominalization

Doc: dtc/06-03-02
Date: March 2006
Version: Interim Convenience Document
Chapter: 9.1.1.10
Pages:
Nature: Editorial
Severity: minor

Description:

In 9.1.1.10, there are several problems with 'proposition nominalization'

Definition: logical formulation that a referent proposition is formulated by a particular logical formulation

What can refer to a proposition? A proposition nominalization is a noun concept, one that refers to a structure of meaning (a logical formulation) as a thing separate from its meaning. The concept is not itself a logical formulation.
Change the definition to:
"noun concept referring to all propositions for which a given 'logical formulation' is the structure of meaning"

Add Note:
When the formulation contains free variables, the noun concept corresponds to a collection of such structures of meaning, one for each possible substitution for the free variables. That collection may not be a finite set. For each possible binding of those variables to constants, the result is a particular closed formulation that corresponds to a proposition.

In Example (1), 2nd sentence: "The variable bound from the ‘proposition’ role is also the
bindable target of a proposition nominalization that considers a logical formulation
formulating “EU-Rent accepts no checks”."
replace "is also the bindable target of a proposition normalization" with
"is bound in the atomic formulation to a constant proposition normalization"

Replace the text of Example(2) with:
In the statement, “An agent must tell each new customer that the customer cannot use a check”,
an atomic formulation based on a fact type ‘agent:person tells customer:person proposition’ binds to three
variables, one for each role. The variable bound from the ‘customer’ role is also the
bindable target of a proposition nominalization that considers a logical formulation
formulating “customer:person cannot use a check”.
Because the variable for ‘customer’ is free within the proposition nominalization, the proposition nominalization corresponds to a set of propositions, one for each possible referent of 'customer', and the variable in the atomic formulation that is bound to 'proposition' ranges over that set. But in each fact that satisfies the atomic formulation, the referent for 'customer' in "agent tells customer proposition" and the referent for 'customer' in the referent for 'proposition' have to be the same.

In the entry for 'proposition nominalization considers logical formulation'
Definition: the proposition nominalization is based on the logical formulation
should be:
Definition: the proposition nominalization represents all propositions for which the 'logical formulation' is the structure of meaning.

In the entry for 'proposition nominalization binds to bindable target'
Definition: the bindable target indicates the referent proposition identified by the proposition
nominalization
No. The proposition nominalization may have associated variable bindings. The variables must be free in the logical formulation considered by the proposition nominalization, but may be bound in a reference to the proposition nominalization (to constrain the set), and must all be bound in order to select an individual proposition.

see above