Question: Takes ( x , c , s ) : student x takes course c in semester s; Passes ( x , c , s )
Takesxcs: student x takes course c in semester s;
Passesxcs: student x passes course c in semester s;
Scorexcs: the score obtained by student x in course c in semester s;
F and G: specific French and Greek courses
Buysxyz: x buys y from z;
Sellsxyz: x sells y to z;
Shavesxy: person x shaves person y
Bornxc: person x is born in country c;
Parentxy: x is a parent of y;
Citizenxcr: x is a citizen of country c for reason r;
Residentxc: x is a resident of country c;
Foolsxyt: person x fools person y at time t;
StudentxPersonxM anxBarberxExpensivexAgentxInsuredxSmartxPoliticianx: predicates satisfied by members of the corresponding categories;
aSome students took French in spring
bEvery student who takes French passes it
cOnly one student took Greek in spring
dThe best score in Greek is always higher than the best score in French.
eEvery person who buys a policy is smart.
fNo person buys an expensive policy.
gThere is an agent who sells policies only to people who are not insured.
hThere is a barber who shaves all men in town who do not shave themselves.
iA person born in the UKeach of whose parents is a UK citizen or a UK resident, is a UK citizen by birth.
jA person born outside the UKone of whose parents is a UK citizen by birth, is a UK citizen by descent.
kPoliticians can fool some of the people all of the time, and they can fool all of the people some of the time, but they can't fool all of the people all of the time.
lAll Greeks speak the same language. Use Speaksxlto mean that person x speaks language l
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
