Head and Dependent Marking in Clausal Possession
نویسندگان
چکیده
منابع مشابه
An HPSG Marking Analysis of Danish Determiners and Clausal Adverbials
D e te rm in e rs a n d a d v e rb ia ls in m an y la n g u a g e s o c c u r in a fixed o rd e r w h ich is n o t a n issue t h a t h a s rece iv ed a g re a t d e a l o f a t te n t io n in H P S G 94[9 ]. T o d ea l w ith th e o rd e r o f I ta l ia n d e te r m in e rs A lle g ra n z a ([2] a n d [3]) p ro p o ses a rev is io n o f H P S G 9 4 . W e have a d o p te d A lle g ra n z a ’s a...
متن کاملa contrastive analysis of concord and head parameter in english and azerbaijani
این پایان نامه به بررسی و مقایسه دو موضوع مطابقه میان فعل و فاعل (از نظر شخص و مشار) و هسته عبارت در دو زبان انگلیسی و آذربایجانی می پردازد. اول رابطه دستوری مطابقه مورد بررسی قرار می گیرد. مطابقه به این معناست که فعل مفرد به همراه فاعل مفرد و فعل جمع به همراه فاعل جمع می آید. در انگلیسی تمام افعال، بجز فعل بودن (to be) از نظر شمار با فاعلشان فقط در سوم شخص مفرد و در زمان حال مطابقت نشان میدهند...
15 صفحه اولA Combination of Clausal and Non Clausal Temporal Logic Programs
We have developped Tokio interpreter[5] for rst order Inteval Temporal Logic[11] and an automatic theorem prover [6, 7] for Propositional Interval Temporal Logic. The veri er features deterministic tableau expansion and binary decision tree representation of subterms. Combining these, we can avoid repeated similar clausal form time constraints, and it is possible to execute wider range of speci...
متن کاملRewrite Methods for Clausal and Non-Clausal Theorem Proving
Effective theorem provers are essential for automatic verification and generation of programs. The conventional resolution strategies, albeit complete, are inefficient. On the other hand, special purpose methods, such as term rewriting systems for solving word problems, are relatively efficient but applicable to only limited classes of problems. In this paper, a simple canonical set of rewrite ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linguistic Inquiry
سال: 2021
ISSN: 0024-3892,1530-9150
DOI: 10.1162/ling_a_00416