But now a purely semantic property was proposed to be the cause for an apparent syntactic infelicity. Definition A context C[ ] is downward entailing iff ...
確定! 回上一頁