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} = {}

Navigation

• the current exercise
• the exercises for chapter 2
• the material for chapter 2
• the overview over all chapters