Exercise-ch6 - Revision history

Manfred: /* INTERNAL-CONTENT and MAIN value */

2014-08-05T22:39:19Z

INTERNAL-CONTENT and MAIN value

← Older revision		Revision as of 22:39, 5 August 2014
Line 176:		Line 176:


	{FeedbackExercises}}		{{FeedbackExercises}}

	<hr />		<hr />

Manfred: /* INTERNAL-CONTENT and MAIN value */

2014-08-05T22:38:56Z

INTERNAL-CONTENT and MAIN value

← Older revision		Revision as of 22:38, 5 August 2014
Line 174:		Line 174:

	</quiz>		</quiz>


			{FeedbackExercises}}

			<hr />
			Back to
			* the material for [[Textbook-chapters#Chapter_6:_Simplified_LRS\|chapter 6]]
			* the overview over [[Textbook-chapters\|all chapters]].

Suzanne: /* Eventuality quantification */

2013-11-29T01:12:05Z

Eventuality quantification

← Older revision		Revision as of 01:12, 29 November 2013
Line 92:		Line 92:
	{Sentence: ''Two students worked in the library.''		{Sentence: ''Two students worked in the library.''
	\|type="{}"}		\|type="{}"}
	Logical form for the collective reading: { _ _9 } '''Two''' ''x'' ({ _ _9} '''student''' • ''x'': { ~~Exists e~~ _9 } ('''work-in-library''' • ''e'') • ''x'')<br />		Logical form for the collective reading: <br /> { Exists e _9 } '''Two''' ''x'' ({ _ _9} '''student''' • ''x'': { _ _9 } ('''work-in-library''' • ''e'') • ''x'') <br />
	Logical form for the distributive reading: { ~~Exists e~~ _9 } '''Two''' ''x'' ({ _ _9} '''student''' • ''x'': { _ _9 } ('''work-in-library''' • ''e'') • ''x'')		Logical form for the distributive reading: <br /> { _ _9 } '''Two''' ''x'' ({ _ _9} '''student''' • ''x'': { Exists e _9 } ('''work-in-library''' • ''e'') • ''x'')<br />


	</quiz>		</quiz>

Manfred: /* INTERNAL-CONTENT and MAIN value */

2013-11-26T01:15:42Z

INTERNAL-CONTENT and MAIN value

← Older revision		Revision as of 01:15, 26 November 2013
Line 163:		Line 163:

	{Sentence: ''Alex might call.''<br />		{Sentence: ''Alex might call.''<br />
	Logical form: '''~~MIGHT~~''' (∃''e'' (('''call''' • ''e'') • '''alex'''))		Logical form: '''Might''' (∃''e'' (('''call''' • ''e'') • '''alex'''))
	\|type="{}"}		\|type="{}"}

Manfred: /* INTERNAL-CONTENT and MAIN value */

2013-11-26T01:13:58Z

INTERNAL-CONTENT and MAIN value

← Older revision		Revision as of 01:13, 26 November 2013
Line 149:		Line 149:
	=== INTERNAL-CONTENT and MAIN value ===		=== INTERNAL-CONTENT and MAIN value ===

	Indicate the MAIN and the INTERNAL-CONTENT value of the words in the sentences.<br />~~(''Hint:'' Copy~~ the relevant parts from the indicated logical form of the sentences)		Indicate the MAIN and the INTERNAL-CONTENT value of the words in the sentences.<br />
			To get the special characters right, copy the relevant parts from the indicated logical form of the sentences.

	<quiz display=simple>		<quiz display=simple>
	{Sentence: ''Pat read many books.''<br />		{Sentence: ''Pat read many books.''<br />
	Logical form: ~~Many x (BOOKx : Exists e (((READe)x)PAT))~~		Logical form: '''Many''' ''x'' ('''book''' • ''x'' : ∃''e'' ((('''read''' • ''e'') • ''x'') • '''pat'''))
	'''Many''' ''x'' ('''book''' • ''x'' : ∃''e'' ((('''read''' • ''e'') • ''x'') • '''pat'''))
	\|type="{}"}		\|type="{}"}

	''Pat'': MAIN { ~~PAT~~ _10 } IN-CONT { ~~PAT~~ _50}		''Pat'': MAIN { pat _10 } IN-CONT { pat _50}
	''read'': MAIN { ~~READ~~ _8} IN-CONT { ((READe)x)*PAT _50}		''read'': MAIN { read _8} IN-CONT { ((read • e) • x) • pat _50}
	''many'': MAIN { Many _8 } IN-CONT { ∃ e (((read • e) • x) • pat)) _50}		''many'': MAIN { Many _8 } IN-CONT { ∃e (((read • e) • x) • pat)) _50}
	''books'': MAIN { ~~BOOK~~ _7 } IN-CONT { BOOK*x _50}		''books'': MAIN { book _7 } IN-CONT { book • x _50}

	{Sentence: ''Alex might call.''<br />		{Sentence: ''Alex might call.''<br />
	Logical form: MIGHT (~~Exists~~ e ((CALLe)ALEX))		Logical form: '''MIGHT''' (∃''e'' (('''call''' • ''e'') • '''alex'''))
	\|type="{}"}		\|type="{}"}

	''Alex'': MAIN { ~~ALEX~~ _10 } IN-CONT { ~~ALEX~~ _50}		''Alex'': MAIN { alex _10 } IN-CONT { alex _50}
	''might'': MAIN { ~~MIGHT~~ _8} IN-CONT { (CALLe)ALEX _50}		''might'': MAIN { Might _8} IN-CONT { (call • e) • alex _50}
	''call'': MAIN { ~~CALL~~ _8 } IN-CONT { (CALLe)ALEX _50}		''call'': MAIN { call _8 } IN-CONT { (call • e) • alex _50}
	\|\| ''might'' is an INTERNAL-CONTENT raiser, i.e., its INTERNAL-CONTENT value is identical with that of its complement VP.		\|\| ''might'' is an INTERNAL-CONTENT raiser, i.e., its INTERNAL-CONTENT value is identical with that of its complement VP.

	</quiz>		</quiz>

Manfred: /* INTERNAL-CONTENT and MAIN value */

2013-11-26T01:09:57Z

INTERNAL-CONTENT and MAIN value

← Older revision		Revision as of 01:09, 26 November 2013
Line 159:		Line 159:
	''Pat'': MAIN { PAT _10 } IN-CONT { PAT _50}		''Pat'': MAIN { PAT _10 } IN-CONT { PAT _50}
	''read'': MAIN { READ _8} IN-CONT { ((READe)x)*PAT _50}		''read'': MAIN { READ _8} IN-CONT { ((READe)x)*PAT _50}
	''many'': MAIN { Many _8 } IN-CONT { ∃''e'' (((~~'''~~read~~'''~~ • ''e'') • ''x'') • ~~'''~~pat~~'''~~)) _50}		''many'': MAIN { Many _8 } IN-CONT { ∃ e (((read • e) • x) • pat)) _50}
	''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50}		''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50}

Manfred: /* INTERNAL-CONTENT and MAIN value */

2013-11-26T01:09:16Z

INTERNAL-CONTENT and MAIN value

← Older revision		Revision as of 01:09, 26 November 2013
Line 159:		Line 159:
	''Pat'': MAIN { PAT _10 } IN-CONT { PAT _50}		''Pat'': MAIN { PAT _10 } IN-CONT { PAT _50}
	''read'': MAIN { READ _8} IN-CONT { ((READe)x)*PAT _50}		''read'': MAIN { READ _8} IN-CONT { ((READe)x)*PAT _50}
	''many'': MAIN { Many _8 } IN-CONT { ~~Many x (BOOKx : Exists e (((READe)x)PAT))\|~~∃''e'' ((('''read''' • ''e'') • ''x'') • '''pat''')) _50}		''many'': MAIN { Many _8 } IN-CONT { ∃''e'' ((('''read''' • ''e'') • ''x'') • '''pat''')) _50}
	''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50}		''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50}

Manfred: /* INTERNAL-CONTENT and MAIN value */

2013-11-26T01:08:47Z

INTERNAL-CONTENT and MAIN value

← Older revision		Revision as of 01:08, 26 November 2013
Line 154:		Line 154:
	{Sentence: ''Pat read many books.''<br />		{Sentence: ''Pat read many books.''<br />
	Logical form: Many x (BOOKx : Exists e (((READe)x)PAT))		Logical form: Many x (BOOKx : Exists e (((READe)x)PAT))
	'''Many''' ''x'' ('''book''' • ''x'' : ∃ ''e'' ((('''read''' • ''e'') • ''x'') • '''pat'''))		'''Many''' ''x'' ('''book''' • ''x'' : ∃''e'' ((('''read''' • ''e'') • ''x'') • '''pat'''))
	\|type="{}"}		\|type="{}"}

	''Pat'': MAIN { PAT _10 } IN-CONT { PAT _50}		''Pat'': MAIN { PAT _10 } IN-CONT { PAT _50}
	''read'': MAIN { READ _8} IN-CONT { ((READe)x)*PAT _50}		''read'': MAIN { READ _8} IN-CONT { ((READe)x)*PAT _50}
	''many'': MAIN { Many _8 } IN-CONT { Many x (BOOKx : Exists e (((READe)x)PAT)) _50}		''many'': MAIN { Many _8 } IN-CONT { Many x (BOOKx : Exists e (((READe)x)PAT))\|∃''e'' ((('''read''' • ''e'') • ''x'') • '''pat''')) _50}
	''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50}		''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50}

Manfred: /* INTERNAL-CONTENT and MAIN value */

2013-11-26T01:08:13Z

INTERNAL-CONTENT and MAIN value

← Older revision		Revision as of 01:08, 26 November 2013
Line 154:		Line 154:
	{Sentence: ''Pat read many books.''<br />		{Sentence: ''Pat read many books.''<br />
	Logical form: Many x (BOOKx : Exists e (((READe)x)PAT))		Logical form: Many x (BOOKx : Exists e (((READe)x)PAT))
			'''Many''' ''x'' ('''book''' • ''x'' : ∃ ''e'' ((('''read''' • ''e'') • ''x'') • '''pat'''))
	\|type="{}"}		\|type="{}"}

Manfred: /* INTERNAL-CONTENT and MAIN value */

2013-11-26T01:07:01Z

INTERNAL-CONTENT and MAIN value

← Older revision		Revision as of 01:07, 26 November 2013
Line 152:		Line 152:

	<quiz display=simple>		<quiz display=simple>
	{Sentence: ''Pat ~~<u>~~read~~</u> <u>~~many~~</u> <u>~~books~~</u>~~<br />		{Sentence: ''Pat read many books.''<br />
	Logical form: Many x (BOOKx : Exists e (((READe)x)PAT))		Logical form: Many x (BOOKx : Exists e (((READe)x)PAT))
	\|type="{}"}		\|type="{}"}
Line 160:		Line 160:
	''many'': MAIN { Many _8 } IN-CONT { Many x (BOOKx : Exists e (((READe)x)PAT)) _50}		''many'': MAIN { Many _8 } IN-CONT { Many x (BOOKx : Exists e (((READe)x)PAT)) _50}
	''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50}		''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50}

			{Sentence: ''Alex might call.''<br />
			Logical form: MIGHT (Exists e ((CALLe)ALEX))
			\|type="{}"}

			''Alex'': MAIN { ALEX _10 } IN-CONT { ALEX _50}
			''might'': MAIN { MIGHT _8} IN-CONT { (CALLe)ALEX _50}
			''call'': MAIN { CALL _8 } IN-CONT { (CALLe)ALEX _50}
			\|\| ''might'' is an INTERNAL-CONTENT raiser, i.e., its INTERNAL-CONTENT value is identical with that of its complement VP.

	</quiz>		</quiz>