PROLOG Define take_off (as in The plane took off), heal (as in The physician hea
ID: 3669806 • Letter: P
Question
PROLOG
Define take_off (as in The plane took off), heal (as in The physician healed the patient), and bequeathed (as in Mary bequeathed her painting to the museum) by decomposing them into simpler notions. Are any of these predicates causative? Are any inchoative? If so, which? Can you argue for your decompositions by appealing to semantic intuitions like redundancy, contradiction, or entailment? You may assume that take_off is a unary predicate, heal is a binary predicate, and explain is a ternary predicate
Explanation / Answer
a) Here predicates decomposed and defined them simpler notations:
take_off(plane, tookOff)
heal(physician, healed)
bequeathed(Mary, painting, museum)
---------------------------------------------------------------------------------------------------------------------------------------------------------
b)
Predicates are called as casuative, when declaration has very complex objects ..
Predicates are called as inchoative when there is expression to denote starting or becoming.
So, first two predicates and not complex and not intiated one, they are completed.
But third one bequeathed is causative and also inchoative.
Since it has more than two attributes, complex one so causative and mary initiated or planned to place her paintings to the museum. so inchoative.
--------------------------------------------------------------------------------------------------------------------------------------------------------------
In my opinion decompositions are sometimes lead to redundancy, contradiction or entailment.
Consider some examples ..
(plane, tookoff) ---> can have two meanings. plane just took off and plane doesn't took off.
So by seeing this example, we can say decompositions are sometimes lead to redundancy, contradiction or entailment.
We can prove by taking so many examples also..
Related Questions
Navigate
Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.