grasem.pl: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$]).$ Add rules to grammar and lexicon in order to obtain the semantic representation of sentences$=1.$The customer who gave Maria the book ran$\mathrm{.}2.$The book has a blue cover$\mathrm{.}3.$The book is from Maria