ExerciseFOModels-b: Difference between revisions

Latest revision as of 17:23, 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 wants to live in Munich} = {<Tom>, <Alice>, <Paul>, <Lisa>}

lives-in-Munich: {<x>| x lives in Munich} = {}

@@ Line 8: / Line 8: @@
 '''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''>}
@@ Line 24: / Line 24: @@
 '''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'' wants to live in Munich} = {<''Tom''>, <''Alice''>, <''Paul''>, <''Lisa''>}
-''lives-in-Munich: {<x>|x lives in Munich} = {}''
+'''lives-in-Munich''': {<''x''>| ''x'' lives in Munich} = {}''