ExerciseFOModels-b
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