grasem.pl:$\%$ testar com:

$\%$ :$-$ f$($X$,[\text{'}$Manuel$\text{'},$ ran$]).$

$\%$ :$-$ f$($X$,[$a$,$ man, ran$]).$

$\%$ :$-$ f$($X$,[$a$,$man, with, a$,$ book, ran$]).$

$\%$ :$-$ f$($X$,[\text{'}$Maria$\text{'},$ with, a$,$ book, ran$]).$

$\%$ :$-$ f$($X$,[\text{'}$Maria$\text{'},$ with, the, book, in$,$a$,$bag, ran$]).$

$\%$ :$-$ f$($X$,[$the$,$customer, bought, a$,$ book$])$

$\%$ :$-$ f$($X$,[\text{'}$Manuel$\text{'},$ bought, a$,$ book$])$

$\%$ :$-$ f$($X$,[$the$,$ customer, bought, a$,$ book, from,'Maria'$]).$

$\%$ :$-$ f$($X$,[$the$,$ customer, bought, a$,$ book, with, a$,$ blue, cover$]).$

$\%$ :$-$ f$($X$,[$the$,$ customer, gave, a$,$ book, with, a$,$ blue, cover, to$,$'Manuel' $]).$

f$($X$,$F$)$:$-$ s$($Y$,$F$,[]),$ flat$($Y$,$X$).$

$\%$ :$-$ s$($F$,[])$

s$($and$($P$1,$P$2))-->$ np$($X$-$P$1),$ vp$($X$-$P$2).$

vp$($X$-$P$)-->$ verbo$1($X$-$P$).$

vp$($X$-$and$($P$,$P$1))-->$ verbo$2($X$-$Y$-$P$),$ np$($Y$-$P$1).$

vp$($X$-$P$)-->$ verboBe, adj$($X$-$P$).$

vp$($X$-$and$($P$,$P$1,$P$2))-->$ verbo$3($X$-$Y$-$Z$-$P$),$ np$($Y$-$P$1),$ pp$($Z$-$P$2).$

pp$($X$-$P$)-->$ prep, np$($X$-$P$).$

np$($X$-$P$)-->$ np$1($X$-$P$).$

np$($X$-$and$($P$,$P$1,$rel$($X$,$Y$)))-->$ np$1($X$-$P$),$ pp$($Y$-$P$1).$

np$($X$-$and$($P$1,$P$2))-->$ adj$1($X$-$P$2),$np$1($X$-$P$1).$

adj$1($X$-$P$)-->$ adj$($X$-$P$).$

adj$1($X$-$and$($P$1,$P$2))-->$ adj$($X$-$P$1),$ adj$1($X$-$P$2).$

np$1($X$-$P$)-->$ det, nominal$($X$-$P$).$

np$1($X$-$true$)-->$ properName$($X$).$

np$1($A$-$P$)-->$ det, nominal$($A$-$P$),$ properName$($A$).$

nominal$($X$-$P$)-->$ noun$($X$-$P$).$

nominal$($X$-$and$($P$1,$P$2))-->$ noun$($X$-$P$1),$ nominal$($X$-$P$2).$

noun$($X$-$man$($X$))-->[$man$].$

noun$($X$-$book$($X$))-->[$book$].$

noun$($X$-$customer$($X$))-->[$customer$].$

noun$($X$-$cover$($X$))-->[$cover$].$

noun$($X$-$bag$($X$))-->[$bag$].$

noun$($X$-$blue$($X$))-->[$blue$].$

det $-->[$the$].$

det $-->[$a$].$

properName$(\text{'}$Manuel$\text{'})-->[\text{'}$Manuel$\text{'}].$

properName$(\text{'}$Maria$\text{'})-->[\text{'}$Maria$\text{'}].$

prep $-->[$from$].$

prep $-->[$to$].$

prep $-->[$with$].$

prep $-->[$in$].$

verbo$1($X$-$run$($X$))-->[$ran$].$

verbo$2($X$-$Y$-$bought$($X$,$Y$))-->[$bought$].$

verbo$2($X$-$Y$-$give$($X$,$Y$))-->[$gave$].$

verbo$3($X$-$Y$-$Z$-$bought$($X$,$Y$,$Z$))-->[$bought$].$

verbo$3($X$-$Y$-$Z$-$give$($X$,$Y$,$Z$))-->[$gave$].$

verboBe$-->[$is$].$

adj$($X$-$blue$($X$))-->[$blue$].$

flat$($and$($A$,$B$,$C$),$L$)$:$-!,$flat$($A$,$L$1),$flat$($and$($B$,$C$),$L$2),$ append$($L$1,$L$2,$L$).$

flat$($and$($A$,$B$),$L$)$:$-!,$flat$($A$,$L$1),$flat$($B$,$L$2),$ append$($L$1,$L$2,$L$).$

flat$($true$,[])$:$-!.$

flat$($A$,[$A$]).($a$)$ Manuel ran.

$($b$)$ A man ran.

$($c$)$ A man with a book ran.

$($d$)$ Maria with a book ran.

$($e$)$ Maria with a book in a bag ran.

$($f$)$ The customer bought a book.

$($g$)$ Manuel bought a book.

$($h$)$ The customer bought a book from Maria.

$($i$)$ The customer bought a book with a blue cover from Maria.

$($j$)$ Manuel gave Maria a book with a blue cover.

$($k$)$ The customer who gave Maria the book ran

$($l$)$ The book has a blue cover

$($m$)$ The book is from Maria

$($n$)$ The cover is blue. $2.$ With the semantic analyzer of the file grasem.pl$,$ indicate the result of the

semantic analysis of the sentences from a$)$ to j$).$

$3.$ Add rules to grammar and lexicon in order to obtain the semantic representation of sentences k$)$ to n$)$