Transforming Dependency Structures to Logical Forms for Semantic Parsing

Total Page:16

File Type:pdf, Size:1020Kb

Transforming Dependency Structures to Logical Forms for Semantic Parsing Transforming Dependency Structures to Logical Forms for Semantic Parsing a b Siva Reddy† Oscar Tackstr¨ om¨ ‡ Michael Collins‡ Tom Kwiatkowski‡ Dipanjan Das‡ Mark Steedman† Mirella Lapata† †ILCC, School of Informatics, University of Edinburgh ‡ Google, New York [email protected] oscart, mjcollins, tomkwiat, dipanjand @google.com { steedman, mlap @inf.ed.ac.uk} { } root Abstract nsubj dobj Disney acquired Pixar The strongly typed syntax of grammar for- nnp vbd nnp malisms such as CCG, TAG, LFG and HPSG offers a synchronous framework for deriving (a) The dependency tree for Disney acquired Pixar. syntactic structures and semantic logical forms. (nsubj (dobj acquired Pixar) Disney) In contrast—partly due to the lack of a strong type system—dependency structures are easy (b) The s-expression for the dependency tree. to annotate and have become a widely used λx. yz. acquired(xe) Disney(ya) Pixar(za) form of syntactic analysis for many languages. ∃ ∧ ∧ arg (x , y ) arg (x , z ) However, the lack of a type system makes a ∧ 1 e a ∧ 2 e a formal mechanism for deriving logical forms (c) The composed lambda-calculus expression. from dependency structures challenging. We address this by introducing a robust system Figure 1: The dependency tree is binarized into its based on the lambda calculus for deriving neo- s-expression, which is then composed into the lambda Davidsonian logical forms from dependency expression representing the sentence logical form. trees. These logical forms are then used for semantic parsing of natural language to Free- In recent years, there have been significant ad- base. Experiments on the Free917 and Web- vances in developing fast and accurate dependency Questions datasets show that our representation parsers for many languages (McDonald et al., 2005; is superior to the original dependency trees and that it outperforms a CCG-based representa- Nivre et al., 2007; Martins et al., 2013, inter alia). tion on this task. Compared to prior work, we Motivated by the desire to carry these advances over obtain the strongest result to date on Free917 to semantic parsing tasks, we present a robust method and competitive results on WebQuestions. for mapping dependency trees to logical forms that represent underlying predicate-argument structures.1 1 Introduction We empirically validate the utility of these logical Semantic parsers map sentences onto logical forms forms for question answering from databases. Since that can be used to query databases (Zettlemoyer and our approach uses dependency trees as input, we hy- Collins, 2005; Wong and Mooney, 2006), instruct pothesize that it will generalize better to domains that robots (Chen and Mooney, 2011), extract information are well covered by dependency parsers than methods (Krishnamurthy and Mitchell, 2012), or describe vi- that induce semantic grammars from scratch. sual scenes (Matuszek et al., 2012). Current systems The system that maps a dependency tree to its log- accomplish this by learning task-specific grammars ical form (henceforth DEPLAMBDA) is illustrated (Berant et al., 2013), by using strongly-typed CCG in Figure1. First, the dependency tree is binarized grammars (Reddy et al., 2014), or by eschewing the via an obliqueness hierarchy to give an s-expression use of a grammar entirely (Yih et al., 2015). that describes the application of functions to pairs aWork carried out during an internship at Google. 1By “robust”, we refer to the ability to gracefully handle b On leave from Columbia University. parse errors as well as the untyped nature of dependency syntax. 127 Transactions of the Association for Computational Linguistics, vol. 4, pp. 127–140, 2016. Action Editor: Christopher Potts. Submission batch: 12/2015; Published 4/2016. c 2016 Association for Computational Linguistics. Distributed under a CC-BY 4.0 license. of arguments. Each node in this s-expression is then stituents have a lambda-calculus expression of type substituted for a lambda-calculus expression and the Ind Event Bool. × → relabeled s-expression is beta-reduced to give the log- A “constituent” in this definition is either a sin- ical form in Figure 1(c). Since dependency syntax gle word, or an s-expression. S-expressions does not have an associated type theory, we introduce are defined formally in the next section; a type system that assigns a single type to all con- examples are (dobj acquired Pixar) and stituents, thus avoiding the need for type checking (nsubj (dobj acquired Pixar) Disney). Essen- (Section2). DEPLAMBDA uses this system to gener- tially, s-expressions are binarized dependency ate robust logical forms, even when the dependency trees, which include an ordering over the different structure does not mirror predicate-argument relation- dependencies to a head (in the above the dobj ships in constructions such as conjunctions, prepo- modifier is combined before the nsubj modifier). sitional phrases, relative clauses, and wh-questions Some examples of lambda-calculus expressions (Section3). for single words (lexical entries) are as follows: These ungrounded logical forms (Kwiatkowski acquired λx. acquired(x ) ⇒ e et al., 2013; Reddy et al., 2014; Krishnamurthy Disney λy. Disney(y ) ⇒ a and Mitchell, 2015) are used for question answer- Pixar λz. Pixar(z ) ⇒ a ing against Freebase, by passing them as input to An example for a full sentence is as follows: GRAPHPARSER (Reddy et al., 2014), a system that Disney acquired Pixar learns to map logical predicates to Freebase, result- ⇒ λx. yz. acquired(x ) Disney(y ) ing in grounded Freebase queries (Section4). We ∃ e ∧ a Pixar(z ) arg (x , y ) arg (x , z ) show that our approach achieves state-of-the-art per- ∧ a ∧ 1 e a ∧ 2 e a formance on the Free917 dataset and competitive This is a neo-Davidsonian style of analysis. Verbs performance on the WebQuestions dataset, whereas such as acquired make use of event variables such building the Freebase queries directly from depen- as xe, whereas nouns such as Disney make use of dency trees gives significantly lower performance. individual variables such as ya. Finally, we show that our approach outperforms a di- The restriction that all expressions are of type Ind Event Bool simplifies the type system rectly comparable method that generates ungrounded × → logical forms using CCG. Details of our experimen- considerably. While it leads to difficulty with some tal setup and results are presented in Section5 and linguistic constructions—see Section 3.3 for some Section6, respectively. examples—we believe the simplicity and robustness of the resulting system outweighs these concerns. It 2 Logical Forms also leads to some spurious variables that are bound We use a version of the lambda calculus with three by lambdas or existentials, but which do not appear as base types: individuals (Ind), events (Event), and arguments of any predicate: for example in the above truth values (Bool). Roughly speaking individuals analysis for Disney acquired Pixar, the variables xa, are introduced by nouns, events are introduced by ye and ze are unused. However these “spurious” vari- verbs, and whole sentences are functions onto truth ables are easily identified and discarded. values. For types A and B, we use A B to denote An important motivation for having variables of × the product type, while A B denotes the type type Ind Event is that a single lexical item some- → × of functions mapping elements of A to elements of times makes use of both types of variables. For exam- B. We will make extensive use of variables of type ple, the noun phrase president in 2009 has semantics Ind Event. For any variable x of type Ind λx. y. president(xa) president event(xe) × × ∃ ∧ ∧ Event, we use x = (x , x ) to denote the pair of arg1(xe, xa) 2009(ya) prep.in(xe, ya) a e ∧ ∧ variables xa (of type Ind) and xe (of type Event). In this example president introduces the predi- Here, the subscript denotes the projections a : Ind cates president, corresponding to an individual, and · × Event Ind and e : Ind Event Event. president event, corresponding to an event; essen- → · × → An important constraint on the lambda calculus tially a presidency event that may have various prop- system is as follows: All natural language con- erties. This follows the structure of Freebase closely: 128 Freebase contains an individual corresponding to Composition. Beta-reduction is used to compose Barack Obama, with a president property, as well the lambda-expression terms to compute the final as an event corresponding to the Obama presidency, semantics for the input sentence. In this step expres- with various properties such as a start and end date, a sions of the form (exp1 exp2 exp3) are interpreted location, and so on. The entry for president is then as function exp1 being applied to arguments exp2 and exp3. For example, (dobj acquired Pixar) re- λx. president(x ) president event(x ) arg (x , x ) a ∧ e ∧ 1 e a ceives the following expression after composition: Note that proper nouns do not introduce an event λz. x. acquired(ze) Pixar(xa) arg2(ze, xa) predicate, as can be seen from the entries for Disney ∃ ∧ ∧ and Pixar above. Obliqueness Hierarchy. The binarization stage re- quires a strict ordering on the different modifiers 3 Dependency Structures to Logical Forms to each head in a dependency parse. For example, in (nsubj (dobj acquired Pixar) Disney), the dobj We now describe the system used to map dependency is attached before the nsubj. The ordering is very structures to logical forms. We first give an overview similar to the obliqueness hierarchy in syntactic for- of the approach, then go into detail about various malisms such as HPSG (Pollard and Sag, 1994). linguistic constructions. Type for Dependency Labels. Recall from Sec- 3.1 An Overview of the Approach tion2 that every s-expression subtree receive a log- ical form of type η = Ind Event Bool.
Recommended publications
  • (2012) Perspectival Discourse Referents for Indexicals* Maria
    To appear in Proceedings of SULA 7 (2012) Perspectival discourse referents for indexicals* Maria Bittner Rutgers University 0. Introduction By definition, the reference of an indexical depends on the context of utterance. For ex- ample, what proposition is expressed by saying I am hungry depends on who says this and when. Since Kaplan (1978), context dependence has been analyzed in terms of two parameters: an utterance context, which determines the reference of indexicals, and a formally unrelated assignment function, which determines the reference of anaphors (rep- resented as variables). This STATIC VIEW of indexicals, as pure context dependence, is still widely accepted. With varying details, it is implemented by current theories of indexicali- ty not only in static frameworks, which ignore context change (e.g. Schlenker 2003, Anand and Nevins 2004), but also in the otherwise dynamic framework of DRT. In DRT, context change is only relevant for anaphors, which refer to current values of variables. In contrast, indexicals refer to static contextual anchors (see Kamp 1985, Zeevat 1999). This SEMI-STATIC VIEW reconstructs the traditional indexical-anaphor dichotomy in DRT. An alternative DYNAMIC VIEW of indexicality is implicit in the ‘commonplace ef- fect’ of Stalnaker (1978) and is formally explicated in Bittner (2007, 2011). The basic idea is that indexical reference is a species of discourse reference, just like anaphora. In particular, both varieties of discourse reference involve not only context dependence, but also context change. The act of speaking up focuses attention and thereby makes this very speech event available for discourse reference by indexicals. Mentioning something likewise focuses attention, making the mentioned entity available for subsequent dis- course reference by anaphors.
    [Show full text]
  • Prosodic Focus∗
    Prosodic Focus∗ Michael Wagner March 10, 2020 Abstract This chapter provides an introduction to the phenomenon of prosodic focus, as well as to the theory of Alternative Semantics. Alternative Semantics provides an insightful account of what prosodic focus means, and gives us a notation that can help with better characterizing focus-related phenomena and the terminology used to describe them. We can also translate theoretical ideas about focus and givenness into this notation to facilitate a comparison between frameworks. The discussion will partly be structured by an evaluation of the theories of Givenness, the theory of Relative Givenness, and Unalternative Semantics, but we will cover a range of other ideas and proposals in the process. The chapter concludes with a discussion of phonological issues, and of association with focus. Keywords: focus, givenness, topic, contrast, prominence, intonation, givenness, context, discourse Cite as: Wagner, Michael (2020). Prosodic Focus. In: Gutzmann, D., Matthewson, L., Meier, C., Rullmann, H., and Zimmermann, T. E., editors. The Wiley Blackwell Companion to Semantics. Wiley{Blackwell. doi: 10.1002/9781118788516.sem133 ∗Thanks to the audiences at the semantics colloquium in 2014 in Frankfurt, as well as the participants in classes taught at the DGFS Summer School in T¨ubingen2016, at McGill in the fall of 2016, at the Creteling Summer School in Rethymnos in the summer of 2018, and at the Summer School on Intonation and Word Order in Graz in the fall of 2018 (lectures published on OSF: Wagner, 2018). Thanks also for in-depth comments on an earlier version of this chapter by Dan Goodhue and Lisa Matthewson, and two reviewers; I am also indebted to several discussions of focus issues with Aron Hirsch, Bernhard Schwarz, and Ede Zimmermann (who frequently wanted coffee) over the years.
    [Show full text]
  • Against Logical Form
    Against logical form Zolta´n Gendler Szabo´ Conceptions of logical form are stranded between extremes. On one side are those who think the logical form of a sentence has little to do with logic; on the other, those who think it has little to do with the sentence. Most of us would prefer a conception that strikes a balance: logical form that is an objective feature of a sentence and captures its logical character. I will argue that we cannot get what we want. What are these extreme conceptions? In linguistics, logical form is typically con- ceived of as a level of representation where ambiguities have been resolved. According to one highly developed view—Chomsky’s minimalism—logical form is one of the outputs of the derivation of a sentence. The derivation begins with a set of lexical items and after initial mergers it splits into two: on one branch phonological operations are applied without semantic effect; on the other are semantic operations without phono- logical realization. At the end of the first branch is phonological form, the input to the articulatory–perceptual system; and at the end of the second is logical form, the input to the conceptual–intentional system.1 Thus conceived, logical form encompasses all and only information required for interpretation. But semantic and logical information do not fully overlap. The connectives “and” and “but” are surely not synonyms, but the difference in meaning probably does not concern logic. On the other hand, it is of utmost logical importance whether “finitely many” or “equinumerous” are logical constants even though it is hard to see how this information could be essential for their interpretation.
    [Show full text]
  • Chapter 6 Mirativity and the Bulgarian Evidential System Elena Karagjosova Freie Universität Berlin
    Chapter 6 Mirativity and the Bulgarian evidential system Elena Karagjosova Freie Universität Berlin This paper provides an account of the Bulgarian admirative construction andits place within the Bulgarian evidential system based on (i) new observations on the morphological, temporal, and evidential properties of the admirative, (ii) a criti- cal reexamination of existing approaches to the Bulgarian evidential system, and (iii) insights from a similar mirative construction in Spanish. I argue in particular that admirative sentences are assertions based on evidence of some sort (reporta- tive, inferential, or direct) which are contrasted against the set of beliefs held by the speaker up to the point of receiving the evidence; the speaker’s past beliefs entail a proposition that clashes with the assertion, triggering belief revision and resulting in a sense of surprise. I suggest an analysis of the admirative in terms of a mirative operator that captures the evidential, temporal, aspectual, and modal properties of the construction in a compositional fashion. The analysis suggests that although mirativity and evidentiality can be seen as separate semantic cate- gories, the Bulgarian admirative represents a cross-linguistically relevant case of a mirative extension of evidential verbal forms. Keywords: mirativity, evidentiality, fake past 1 Introduction The Bulgarian evidential system is an ongoing topic of discussion both withre- spect to its interpretation and its morphological buildup. In this paper, I focus on the currently poorly understood admirative construction. The analysis I present is based on largely unacknowledged observations and data involving the mor- phological structure, the syntactic environment, and the evidential meaning of the admirative. Elena Karagjosova.
    [Show full text]
  • Arxiv:2106.08037V1 [Cs.CL] 15 Jun 2021 Alternative Ways the World Could Be
    The Possible, the Plausible, and the Desirable: Event-Based Modality Detection for Language Processing Valentina Pyatkin∗ Shoval Sadde∗ Aynat Rubinstein Bar Ilan University Bar Ilan University Hebrew University of Jerusalem [email protected] [email protected] [email protected] Paul Portner Reut Tsarfaty Georgetown University Bar Ilan University [email protected] [email protected] Abstract (1) a. We presented a paper at ACL’19. Modality is the linguistic ability to describe b. We did not present a paper at ACL’20. events with added information such as how de- sirable, plausible, or feasible they are. Modal- The propositional content p =“present a paper at ity is important for many NLP downstream ACL’X” can be easily verified for sentences (1a)- tasks such as the detection of hedging, uncer- (1b) by looking up the proceedings of the confer- tainty, speculation, and more. Previous studies ence to (dis)prove the existence of the relevant pub- that address modality detection in NLP often p restrict modal expressions to a closed syntac- lication. The same proposition is still referred to tic class, and the modal sense labels are vastly in sentences (2a)–(2d), but now in each one, p is different across different studies, lacking an ac- described from a different perspective: cepted standard. Furthermore, these senses are often analyzed independently of the events that (2) a. We aim to present a paper at ACL’21. they modify. This work builds on the theoreti- b. We want to present a paper at ACL’21. cal foundations of the Georgetown Gradable Modal Expressions (GME) work by Rubin- c.
    [Show full text]
  • Journal of Linguistics the Meanings of Focus
    Journal of Linguistics http://journals.cambridge.org/LIN Additional services for Journal of Linguistics: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click here Terms of use : Click here The meanings of focus: The significance of an interpretation­based category in cross­linguistic analysis DEJAN MATIĆ and DANIEL WEDGWOOD Journal of Linguistics / FirstView Article / January 2006, pp 1 ­ 37 DOI: 10.1017/S0022226712000345, Published online: 31 October 2012 Link to this article: http://journals.cambridge.org/abstract_S0022226712000345 How to cite this article: DEJAN MATIĆ and DANIEL WEDGWOOD The meanings of focus: The significance of an interpretation­based category in cross­linguistic analysis. Journal of Linguistics, Available on CJO 2012 doi:10.1017/S0022226712000345 Request Permissions : Click here Downloaded from http://journals.cambridge.org/LIN, IP address: 192.87.79.51 on 13 Nov 2012 J. Linguistics, Page 1 of 37. f Cambridge University Press 2012 doi:10.1017/S0022226712000345 The meanings of focus: The significance of an interpretation-based category in cross-linguistic analysis1 DEJAN MATIC´ Max Planck Institute for Psycholinguistics, Nijmegen DANIEL WEDGWOOD (Received 16 March 2011; revised 23 August 2012) Focus is regularly treated as a cross-linguistically stable category that is merely manifested by different structural means in different languages, such that a common focus feature may be realised through, for example, a morpheme in one language and syntactic movement in another. We demonstrate this conception of focus to be unsustainable on both theoretical and empirical grounds, invoking fundamental argumentation regarding the notions of focus and linguistic category, alongside data from a wide range of languages.
    [Show full text]
  • Grammar for Academic Writing
    GRAMMAR FOR ACADEMIC WRITING Tony Lynch and Kenneth Anderson (revised & updated by Anthony Elloway) © 2013 English Language Teaching Centre University of Edinburgh GRAMMAR FOR ACADEMIC WRITING Contents Unit 1 PACKAGING INFORMATION 1 Punctuation 1 Grammatical construction of the sentence 2 Types of clause 3 Grammar: rules and resources 4 Ways of packaging information in sentences 5 Linking markers 6 Relative clauses 8 Paragraphing 9 Extended Writing Task (Task 1.13 or 1.14) 11 Study Notes on Unit 12 Unit 2 INFORMATION SEQUENCE: Describing 16 Ordering the information 16 Describing a system 20 Describing procedures 21 A general procedure 22 Describing causal relationships 22 Extended Writing Task (Task 2.7 or 2.8 or 2.9 or 2.11) 24 Study Notes on Unit 25 Unit 3 INDIRECTNESS: Making requests 27 Written requests 28 Would 30 The language of requests 33 Expressing a problem 34 Extended Writing Task (Task 3.11 or 3.12) 35 Study Notes on Unit 36 Unit 4 THE FUTURE: Predicting and proposing 40 Verb forms 40 Will and Going to in speech and writing 43 Verbs of intention 44 Non-verb forms 45 Extended Writing Task (Task 4.10 or 4.11) 46 Study Notes on Unit 47 ii GRAMMAR FOR ACADEMIC WRITING Unit 5 THE PAST: Reporting 49 Past versus Present 50 Past versus Present Perfect 51 Past versus Past Perfect 54 Reported speech 56 Extended Writing Task (Task 5.11 or 5.12) 59 Study Notes on Unit 60 Unit 6 BEING CONCISE: Using nouns and adverbs 64 Packaging ideas: clauses and noun phrases 65 Compressing noun phrases 68 ‘Summarising’ nouns 71 Extended Writing Task (Task 6.13) 73 Study Notes on Unit 74 Unit 7 SPECULATING: Conditionals and modals 77 Drawing conclusions 77 Modal verbs 78 Would 79 Alternative conditionals 80 Speculating about the past 81 Would have 83 Making recommendations 84 Extended Writing Task (Task 7.13) 86 Study Notes on Unit 87 iii GRAMMAR FOR ACADEMIC WRITING Introduction Grammar for Academic Writing provides a selective overview of the key areas of English grammar that you need to master, in order to express yourself correctly and appropriately in academic writing.
    [Show full text]
  • Flex Time Grinders
    AUGUST 2008 / VOLUME 60 / ISSUE 8 By Bill Kennedy, Flex Time Contributing Editor for Grinders Multifunction grinders, which include other machining operations, enable shops to complete parts in a single setup, among other benefits. rinding traditionally has been performed on highly special- Gized machines at a deliberate pace. Now, in response to manufactur- ers’ need to handle shrinking lot sizes and respond quickly to customer demands, grinding machine builders are expand- ing their machines’ grinding capabili- ties while adding functions other than grinding. Blending Functions Hans Ueltschi, national sales manager for the cylindrical grinding division of United Grinding, Miamisburg, Ohio, said manufacturers in general are seek- ing ways to consolidate operations—be they cutting or grinding—on fewer ma- chine tools. The primary goal is to reduce capital and labor costs. However, facing a trend to the smaller lot sizes characteristic of just-in-time manufacturing, manu- facturers are also looking for flexible machines that can be quickly adapted to produce different parts or facilitate changes among a family of parts. The prevalence of outsourcing also boosts interest in machine flexibility; shops United Grinding handling contracts outsourced by OEMs In addition to holding a selection of grinding wheels, the toolchanger in this Mägerle MFP 50 grinder can carry endmills and other tools for miscellaneous traditional machining want machine tools they can use for other operations, enabling the processes to be consolidated on one machine. jobs after a contract is fulfilled. According to Ueltschi, a machine that user-friendly software can guide an op- for turning and milling is less common is more flexible and easier to use is actu- erator through the process and puts a because “grinding is a little bit of a niche ally more complex beneath the surface.
    [Show full text]
  • Evidentiality, Mirativity, and Related Categories
    Chapter 15 Evidentiality, Mirativity, and Related Categories Kurtöp has an incredibly rich system system of evidentiality, mirativity, and related categories. The system makes use of finite verbal suffixes, copulas, clit- ics and particles in order to create an elaborate set of contrasts, which are best captured with the typological notions of evidentiality (source of knowledge), mirativity (expectations of knowledge), and egophoricity (privelaged access to knowledge). The discussion here is a summary of Hyslop (2011b, 2014b, to appear)1. This system of evidentiality, mirativity, egophoricity, and epistemicity, etc., is part and parcel of the verbal system; these categories are not optional; rather they are required in any finite clause, including questions. This chapter first presents the contrasts made in perfective aspect in §15.1, followed by a discussion of the mirative contrast in §15.2. Kurtöp has an elabo- rate set of affirmative and negative existential and equational copulas; their role in the evidential/mirative/epistemological system is presented in §15.3. Particles and clitics which participate in the system are presented in §15.4. Readers who are interested in a shorter summary of the system as a whole can turn directly to §15.5, which combines the categories present in these disparate aspects of the grammar. 15.1 Perfective Aspect Kurtöp makes a five-way contrast in perfective aspect. Figure 18 summarises the contrasts made between whether the speaker is certain or uncertain, whether the speaker has personal knowledge or not, whether the knowledge was unexpected or not, and whether the speaker expects the interlocutor to share the knowledge or not.
    [Show full text]
  • Tenses Rules with Examples Pdf
    Tenses Rules With Examples Pdf When Billie huts his Boyle divinized not dogmatically enough, is Shlomo scathing? Prosecutable and unchained Garrett feezes her barton read transcendentalized and deputizes round. Salomone remains unscaled after Giordano depicturing affluently or regulate any negotiatresses. Simple tenses rules with pdf exercises on Introduction to tenses pdf Stevino. All Tense anchor Chart and ramp in PDF SlideShare. You will often as in latin, rules for closed events and which tv and communication, i bet it! The present progressive tense how often overused by non-native speakers of English It also only. They are examples pdf format and writing; an index from all of. She wants to have two examples pdf rules well then you will he write a rule is at the sentence below so, modal verbs conjugated in. In examples with example, in that man was shopping in front of. Your learning english. Simple Present Simple dish and attitude Perfect Tenses This is indicate list of Irregular Verbs I find read the thin form the circle past error and second past participle of. You like ielts exam, the past morpheme at lf position of 있다 is taking more confident about how to sit in pdf rules of new dress for. Jun 26 2020 All else Rule Chart and kitchen in PDF Free download as PDF File pdf Text File txt or read online for free You can find mustard all a rule in. Grammar Rules of Verb Tenses A & O Support Services for. He has just mentioned in pdf rules with example: present tense rule regards any mistakes? ACTIVE AND PASSIVE TENSES CHART.
    [Show full text]
  • Contrast and Perceptual Distinctiveness*
    Chapter 8: Contrast and Perceptual Distinctiveness* Edward Flemming From Bruce Hayes, Robert Kirchner, and Donca Steriade, eds., Phonetically-Based Phonology. 2004, Cambridge: Cambridge University Press. Section 4.3 deleted for this reading. Note that this reading has a lot of IPA in it. For clarification, try downloading the official IPA chart from http://www2.arts.gla.ac.uk/IPA/fullchart.html 1 Introduction Most ‘phonetically-driven’ or functionalist theories of phonology propose that two of the fundamental forces shaping phonology are the need to minimize effort on the part of the speaker and the need to minimize the likelihood of confusion on the part of the listener. The goal of this paper is to explore the perceptual side of this story, investigating the general character of the constraints imposed on phonology by the need to minimize confusion. The need to avoid confusion is hypothesized to derive from the communicative function of language. Successful communication depends on listeners being able to recover what a speaker is saying. Therefore it is important to avoid perceptually confusable realisations of distinct categories; in particular distinct words should not be perceptually confusable. The phonology of a language regulates the differences that can minimally distinguish words, so one of the desiderata for a phonology is that it should not allow these minimal differences, or contrasts, to be too subtle perceptually. In Optimality Theoretic terms, this means that there are constraints favouring less confusable contrasts over more confusable contrasts. There is nothing new about the broad outlines of this theory (cf. Lindblom 1986, 1990, Martinet 1955, Zipf 1949, among others), but it has important implications for the nature of phonology.
    [Show full text]
  • Affirmative and Negated Modality*
    Quaderns de Filologia. Estudis lingüístics. Vol. XIV (2009) 169-192 AFFIRMATIVE AND NEGATED MODALITY* Günter Radden Hamburg 0. INTR O DUCTI O N 0.1. Stating the problem Descriptions of modality in English often give the impression that the behaviour of modal verbs is erratic when they occur with negation. A particularly intriguing case is the behaviour of the modal verb must under negation. In its deontic sense, must is used both in affirmative and negated sentences, expressing obligation (1a) and prohibition (1b), respectively. In its epistemic sense, however, must is only used in affirmative sentences expressing necessity (2a). The modal verb that expresses the corresponding negated epistemic modality, i.e. impossibility, is can’t (2b). (1) a. You must switch off your mobile phone. [obligation] b. You mustn’t switch off your mobile phone. [prohibition] (2) a. Your mobile phone must be switched off. [necessity] b. Your mobile phone can’t be switched off. [impossibility] Explanations that have been offered for the use of epistemic can’t are not very helpful. Palmer (1990: 61) argues that mustn’t is not used for the negation of epistemic necessity because can’t is supplied, and Coates (1983: 20) suggests that can’t is used because mustn’t is unavailable. Both “explanations” beg the question: why should can’t be used to denote negated necessity and why should mustn’t be unavailable? Such questions have apparently not been asked for two interrelated reasons: first, the study of modality and negation has been dominated by logic and, secondly, since the modal verbs apparently do * An earlier version of this paper was published in Władysław Chłopicki, Andrzej Pawelec, and Agnieszka Pokojska (eds.), 2007, Cognition in Language: Volume in Honour of Professor Elżbieta Tabakowska, 224-254.
    [Show full text]