Id	Relation	From	To	Page	Figure	Section	Inverse	Status
1	formulates	closed semantic formulation	meaning	50	9.1	Semantic Formulations
2	means	closed semantic formulation	proposition	52	9.2	Logical Formulation
3	formalizes	closed semantic formulation	statement	52	9.2	Logical Formulation
4	is free within	variable	semantic formulation	54	9.3	Variables and Bindings	includes variable without binding
5	ranges over	variable	concept	53	9.3	Variables and Bindings	has (ranged-over concept)
6	restricts	logical formulation	variable	53	9.3	Variables and Bindings	has (restricting formulation)
7	occurs in	role binding	atomic formulation	56	9.4	Atomic Formulations	has (role binding)
8	binds to	role binding	bindable target	56	9.4	Atomic Formulations
9	references	role binding	bindable target	56	9.4	Atomic Formulations		synonym
10	is based on	atomic formulation	fact type	56	9.4	Atomic Formulations	underlines
11	has (role binding)	fact type role	role binding	57	9.4	Atomic Formulations
12	considers	instantiation formulation	concept	57	9.5	Instantiation Formulations
13	binds to	instantiation formulation	bindable target	58	9.5	Instantiation Formulations	is bound to
14	embeds	modal formulation	logical formulation	58	9.6	Modal Formulations	is embedded in
15	has (logical operand)	logical operation	logical formulation	61	9.7	Logical Operations
16	introduces	quantification	variable	65	9.8	Quantifications
17	scopes over	quantification	logical formulation	65	9.8	Quantifications	has (scope formulation)
18	has (maximum cardinality)	numeric-range quantification	nonnegative integer	68	9.8	Quantifications
19	has (maximum cardinality)	at-most-n quantification	nonnegative integer	67	9.8	Quantifications
20	has (minimum cardinality)	at-least-n quantification	nonnegative integer	66	9.8	Quantifications
21	has (minimum cardinality)	numeric-range quantification	nonnegative integer	68	9.8	Quantifications
22	has (cardinality)	exactly-n quantification	nonnegative integer	67	9.8	Quantifications
23	considers	objectification	logical formulation	70	9.9	Objectifications
24	binds to	objectification	bindable target	70	9.9	Objectifications	is bound to
25	binds to	projecting formulation	bindable target	71	9.10	Projecting Formulations	is bound to
26	has (projection)	projecting formulation	projection	71	9.10	Projecting Formulations
27	binds to	proposition nominalization	logical formulation	76	9.11	Nominalizations of Propositions and Questions
28	binds to	proposition nominalization	bindable target	77	9.11	Nominalizations of Propositions and Questions	is bound to
29	is on	projection	variable	80	9.12	Projections	is in
30	has (auxiliary variable)	projection	auxiliary variable	81	9.12	Projections
31	constrains	logical formulation	projection	81	9.12	Projections	has (constraining projection)
32	has (projection position)	variable	positive integer	81	9.12	Projections
33	formalizes	closed projection	definition	82	9.12	Projections
34	defines	closed projection	noun concept	82	9.12	Projections
35	defines	closed projection	fact type	83	9.12	Projections
36	maps to	variable	fact type role	84	9.12	Projections	is mapped from
37	means	closed projection	question	85	9.12	Projections