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 wants to live in Munich} = {<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