ExerciseFOModels-b: Difference between revisions
No edit summary |
No edit summary |
||
Line 2: | Line 2: | ||
'''rather-small''': {''x''|''x'' is rather small} = {<''Tom''>,<''Alice''>} | '''rather-small''': { <''x''> | ''x'' is rather small} = {<''Tom''>,<''Alice''>} | ||
''tall: {x|x is tall} = {<Paul>, <Lisa>} | '''tall''': { <''x''> | ''x'' is tall} = {<''Paul''>, <''Lisa''>} | ||
''blonde:{ <x>| x is blonde} = {<Alice>, <Lisa>} | '''blonde''':{ <''x''> | ''x'' is blonde} = {<''Alice''>, <''Lisa''>} | ||
''female: {<x> |x is female} = {<Lisa>,<Alice>} | '''female'': {<''x''> |''x'' is female} = {<''Lisa''>,<''Alice''>} | ||
''male: {<x> |x is male} = {<Tom>,<Paul>} | '''male''': {<''x''> | ''x'' is male} = {<''Tom''>,<''Paul''>} | ||
''bored-watching-soccer: {<x>|x gets bored watching soccer} = {<Tom>,<Paul>} | '''bored-watching-soccer''': {<''x''> | ''x'' gets bored watching soccer} = {<''Tom''>,<''Paul''>} | ||
''enjoys-watching-soccer: {<x> |x enjoys watching soccer} = {<Alice>,<Lisa>} | '''enjoys-watching-soccer''': {<''x''> | ''x'' enjoys watching soccer} = {<''Alice''>,<''Lisa''>} | ||
''enjoys-watching-football: {<x> |x enjoys watching football} = {<Tom>,<Alice>, <Lisa>, <Paul>} | '''enjoys-watching-football''': {<''x''> | ''x'' enjoys watching football} = {<''Tom''>,<''Alice''>, <''Lisa''>, <''Paul''>} | ||
''doesn't-care-about-sports: {<x> |x doesn’t care about sports} = {<Walter>} | '''doesn't-care-about-sports''': {<''x''> | ''x'' doesn’t care about sports} = {<''Walter''>} | ||
''likes-eating-shoes: {<x> |x likes eating shoes} = {<Walter>} | '''likes-eating-shoes''': {<''x''> | ''x'' likes eating shoes} = {<''Walter''>} | ||
''lives-in-Berlin: {<x> |x lives in Berlin} = {<Tom>,<Alice>, <Lisa>, <Paul>} | '''lives-in-Berlin''': {<''x''> | ''x'' lives in Berlin} = {<''Tom''>, <''Alice''>, <''Lisa''>, <''Paul''>} | ||
''want-to-live-in-Munich: {<x> |x is rather small} = {<Tom>,<Alice>, <Paul>, <Lisa>}'' | ''want-to-live-in-Munich: {<x> |x is rather small} = {<Tom>,<Alice>, <Paul>, <Lisa>}'' |
Revision as of 17:21, 15 October 2013
These are some possible answers:
rather-small: { <x> | x is rather small} = {<Tom>,<Alice>}
tall: { <x> | x is tall} = {<Paul>, <Lisa>}
blonde:{ <x> | x is blonde} = {<Alice>, <Lisa>}
'female: {<x> |x is female} = {<Lisa>,<Alice>}
male: {<x> | x is male} = {<Tom>,<Paul>}
bored-watching-soccer: {<x> | x gets bored watching soccer} = {<Tom>,<Paul>}
enjoys-watching-soccer: {<x> | x enjoys watching soccer} = {<Alice>,<Lisa>}
enjoys-watching-football: {<x> | x enjoys watching football} = {<Tom>,<Alice>, <Lisa>, <Paul>}
doesn't-care-about-sports: {<x> | x doesn’t care about sports} = {<Walter>}
likes-eating-shoes: {<x> | x likes eating shoes} = {<Walter>}
lives-in-Berlin: {<x> | x lives in Berlin} = {<Tom>, <Alice>, <Lisa>, <Paul>}
want-to-live-in-Munich: {<x> |x is rather small} = {<Tom>,<Alice>, <Paul>, <Lisa>}
lives-in-Munich: {<x>|x lives in Munich} = {}
- the current exercise
- the exercises for chapter 2
- the material for chapter 2
- the overview over all chapters