Appendix LRS Principles - Revision history

Manfred: /* Internal Content Raising Principle */

2022-11-02T12:51:22Z

Internal Content Raising Principle

← Older revision		Revision as of 12:51, 2 November 2022
Line 79:		Line 79:
	if the INTERNAL-CONTENT value of the head is not a member		if the INTERNAL-CONTENT value of the head is not a member
	of the head's PARTS list, then		of the head's PARTS list, then
	# it is a component of the semantic argument of the head's MAIN value, and		# it is a component of the semantic argument slot of the head's MAIN value, and
	# it is identical with the INTERNAL-CONTENT of the nonhead daughter whose DR value occurs inside this semantic argument.		# it is identical with the INTERNAL-CONTENT of the nonhead daughter whose DR value occurs inside this semantic argument slot.

	=== Semantics Principle ===		=== Semantics Principle ===

Manfred: /* Internal Content Raising Principle */

2022-11-02T12:50:38Z

Internal Content Raising Principle

← Older revision		Revision as of 12:50, 2 November 2022
Line 73:		Line 73:

	This principle is introduced in Chapter 6 of the textbook and further illustrated with examples in Chapter 7.		This principle is introduced in Chapter 6 of the textbook and further illustrated with examples in Chapter 7.

			New version (2.11.2022):

			In a head-complement structure,
			if the INTERNAL-CONTENT value of the head is not a member
			of the head's PARTS list, then
			# it is a component of the semantic argument of the head's MAIN value, and
			# it is identical with the INTERNAL-CONTENT of the nonhead daughter whose DR value occurs inside this semantic argument.

	=== Semantics Principle ===		=== Semantics Principle ===

Manfred: /* Event Narrow Scope Principle */

2018-05-22T22:59:56Z

Event Narrow Scope Principle

← Older revision		Revision as of 22:59, 22 May 2018
Line 105:		Line 105:

	'''Event Narrow Scope Principle'''<br />		'''Event Narrow Scope Principle'''<br />
	For each verb with some DR value ''e'', there is no quantified formula inside the verb's EXTERNAL-CONTENT value that is		For each verb with some DR value ''e'', there is no quantified formula inside the verb's EXTERNAL-CONTENT value that
	* in the scope of the event quantifier of this verb (∃e(...)), and		* is in the scope of the event quantifier of this verb (∃e(...)), and
	* contains a free occurrence of the verb's DR value, ''e''.		* contains a free occurrence of the verb's DR value, ''e''.

Manfred: /* Event Narrow Scope Principle */

2018-05-22T22:59:36Z

Event Narrow Scope Principle

← Older revision		Revision as of 22:59, 22 May 2018
Line 106:		Line 106:
	'''Event Narrow Scope Principle'''<br />		'''Event Narrow Scope Principle'''<br />
	For each verb with some DR value ''e'', there is no quantified formula inside the verb's EXTERNAL-CONTENT value that is		For each verb with some DR value ''e'', there is no quantified formula inside the verb's EXTERNAL-CONTENT value that is
	* in the scope of the event quantifier of this verb (∃ e(...)), and		* in the scope of the event quantifier of this verb (∃e(...)), and
	* contains a free occurrence of the verb's DR value, ''e''.		* contains a free occurrence of the verb's DR value, ''e''.

Manfred: /* Event Narrow Scope Principle */

2018-05-22T22:59:23Z

Event Narrow Scope Principle

← Older revision		Revision as of 22:59, 22 May 2018
Line 106:		Line 106:
	'''Event Narrow Scope Principle'''<br />		'''Event Narrow Scope Principle'''<br />
	For each verb with some DR value ''e'', there is no quantified formula inside the verb's EXTERNAL-CONTENT value that is		For each verb with some DR value ''e'', there is no quantified formula inside the verb's EXTERNAL-CONTENT value that is
	* in the scope of the event quantifier of this verb (&~~exists~~; e(...)), and		* in the scope of the event quantifier of this verb (∃ e(...)), and
	* contains a free occurrence of the verb's DR value, ''e''.		* contains a free occurrence of the verb's DR value, ''e''.

Manfred: /* DR-MAIN Binding Principle */

2018-05-22T22:58:29Z

DR-MAIN Binding Principle

← Older revision		Revision as of 22:58, 22 May 2018
Line 100:		Line 100:
	then the sign's MAIN value must occur inside this quantified formula.		then the sign's MAIN value must occur inside this quantified formula.

	This principle is formulated in Chapter 6. It is usually not assumed in LRS publications, but is allows us to avoid the specification that the verb or adjective's MAIN value must be in the scope of the eventuality quantifier in every lexical entry.		This principle is formulated in Chapter 6. It is usually not assumed in LRS publications, but is allows us to avoid the specification that the verb or adjective's MAIN value must be in the scope of the eventuality quantifier in every lexical entry.

			=== Event Narrow Scope Principle ===

			'''Event Narrow Scope Principle'''<br />
			For each verb with some DR value ''e'', there is no quantified formula inside the verb's EXTERNAL-CONTENT value that is
			* in the scope of the event quantifier of this verb (&exists; e(...)), and
			* contains a free occurrence of the verb's DR value, ''e''.

	=== Bound Variable Introduction Principle ===		=== Bound Variable Introduction Principle ===

Manfred: /* Bound Variable Introduction Principle */

2016-01-11T22:02:56Z

Bound Variable Introduction Principle

← Older revision		Revision as of 22:02, 11 January 2016
Line 104:		Line 104:
	=== Bound Variable Introduction Principle ===		=== Bound Variable Introduction Principle ===

	'''Bound Variable Introduction Principle'''		'''Bound Variable Introduction Principle'''<br />

	For each sign with an INDEX value of sort ''non-pron'' a variable as DR value,<br />the sign's DR value is on its PARTS list iff the PARTS list also contains the quantifier binding that variable.		For each sign with an INDEX value of sort ''non-pron'' a variable as DR value,<br />the sign's DR value is on its PARTS list iff the PARTS list also contains the quantifier binding that variable.

Manfred: /* Bound Variable Introduction Principle */

2016-01-11T22:02:40Z

Bound Variable Introduction Principle

← Older revision		Revision as of 22:02, 11 January 2016
Line 105:		Line 105:

	'''Bound Variable Introduction Principle'''		'''Bound Variable Introduction Principle'''

	For each sign with an INDEX value of sort ''non-pron'' a variable as DR value,<br />the sign's DR value is on its PARTS list iff the PARTS list also contains the quantifier binding that variable.		For each sign with an INDEX value of sort ''non-pron'' a variable as DR value,<br />the sign's DR value is on its PARTS list iff the PARTS list also contains the quantifier binding that variable.

Manfred at 12:16, 11 January 2016

2016-01-11T12:16:46Z

← Older revision		Revision as of 12:16, 11 January 2016
Line 102:		Line 102:
	This principle is formulated in Chapter 6. It is usually not assumed in LRS publications, but is allows us to avoid the specification that the verb or adjective's MAIN value must be in the scope of the eventuality quantifier in every lexical entry.		This principle is formulated in Chapter 6. It is usually not assumed in LRS publications, but is allows us to avoid the specification that the verb or adjective's MAIN value must be in the scope of the eventuality quantifier in every lexical entry.

	== Bound Variable Introduction Principle ==		=== Bound Variable Introduction Principle ===

			'''Bound Variable Introduction Principle'''
	For each sign with an INDEX value of sort ''non-pron'' a variable as DR value,<br />the sign's DR value is on its PARTS list iff the PARTS list also contains the quantifier binding that variable.		For each sign with an INDEX value of sort ''non-pron'' a variable as DR value,<br />the sign's DR value is on its PARTS list iff the PARTS list also contains the quantifier binding that variable.

			This principle is formulated in Chapter 6. It will make sure that a common noun does not introduce its DR value into its PARTS list. The restriction to ''non-pron'' is there to allow for pronouns to be bound.

	<hr />		<hr />

Manfred: /* Bound Variable Introduction Principle */

2016-01-11T12:08:40Z

Bound Variable Introduction Principle

← Older revision		Revision as of 12:08, 11 January 2016
Line 104:		Line 104:
	== Bound Variable Introduction Principle ==		== Bound Variable Introduction Principle ==

	For each sign with an INDEX value of sort ''non-pron''~~,<br />~~		For each sign with an INDEX value of sort ''non-pron'' a variable as DR value,<br />the sign's DR value is on its PARTS list iff the PARTS list also contains the quantifier binding that variable.
	~~if the sign's~~ DR value ~~is a variable~~,<br /> ~~then~~ the sign's DR value is on its PARTS list iff the ~~PART~~ list also contains the quantifier binding that variable.

	<hr />		<hr />