| 词汇 | example_english_is |
| 释义 | Examples of isThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Isn't the indistinct one often just what we need? Isn't she stubbornly and arbitrarily favouring her own views ? Isn't the creator the artist and not the person who runs off the prints ? Isn't a high standard of excellence a tautology? Isn't s/he a figure who has exchanged one kind of incompleteness for another? Isn't this an absurd piece of stereotyping after what he has already said? Isn't it about time that pharmacists follow all other healthcare provider models for continuing education? Isn't it high time our teacher training establishments were made to recognise these hard facts of life? Isn't it the case that each cultural narrative will have its own criteria of rationality? Isn't the problem therefore more likely to lie with the mathematics than the argument for infinitely many universes ? Isn't there a form of theatre that doesn't need text? Isn't it odd that that surface noise has acquired a positive valence? Isn't it automatically appropriate to infer that one shouldn't perform, or shouldn't have performed, that act? Isn't it precisely when connections of the sort represented by (1) ' just occur ' to someone that the great discoveries of philosophy and science take place ? Isn't it all a matter of feeling and emotion, not something that a teacher should attempt to in-uence? Isn't this the way you speak to a dowager duchess? Isn't this reason enough to take to the streets? Isn't quality of that sort the real threat to the public health? Isn't it a matter of some audience members' exposure to the lyricism of unfamiliar patois dialogue? Isn't there anything you feel straightforward simple certainty about ? Isn't that tool particularly needed with such disparate research? Isn't it possible that the epistemology he quotes in support of life, liberty, and property was just tagging along for the ride, merely ornamental? Isn't this sort of strained interpretation a reason to place under scrutiny the urge to escape triviality from which it springs? Isn't there a considerable interpretative power here, and thus, basically, a certain type of rationality? Isn't it plain that antifoundational notions such as "neutrality" and "secularity" are themselves contested, just as the more traditional foundations are? Isn't nostalgia a way of arguing about the present, too ? Isn't it precisely in the link between composer and audience that energy for change can be created? Not knowing in advance what the court will decide-isn't that a form of incompleteness of the contract? Isn't that just the sort of conduct we want to encourage? Isn't this how a song becomes the anthem of a generation? Isn't that the lost basis of archaeology? Isn't it odd that it went on and on being recycled in a city that librettists had a habit of castigating for its easily jaded palate? Isn't it therefore reasonable to believe that if we are what an omniscient and omnipotent designer had in mind, our bodies should exhibit engineering perfection, a flawless design ? Isn't co-regulation the same as interactional synchrony? Isn't that why you're here? Isn't she in front of your eyes? Isn't there any buses in town today? Isn't this just mathematical sleight of hand? Isn't it voice that traverses that passage? Isn't one floor enough for you ? Isn't there too much waste there? Isn't this a model for good teaching? Isn't it totally out of the blue? Isn't it something everyone thinks about? Isn't a trout decomposing in a hill of corn functioning just as properly, so far as nature herself goes, as one happily swimming around chasing minnows? Single market regime competition is the preferred outcome for neoliberals. Secondly, our interviews suggest that such a sweeping assertion of civil service support is misguided; the picture needs to be disaggregated. The right-wing inflation effect is also significant (b 0.42, p 0.04). First, any bias is inconsequential so long as it is constant. A complete system is specified by a set of features. The children list of a directory is computed by the library function directory->list (line 10). The argument type of the resulting expression is a singleton type including the name of the lifted parameter. The rest of the paper is organized as follows. A word's depth in the tree is the same as the length of its string. Now, we can state that enum is correct and complete. The trick is to consider a continuation-based semantics of the propositional calculus. The latter check is the responsibility of direct functoid convert1 (not shown). The alternation is bypassable if either e1 or e2 is bypassable. We want to stress, however, that our extension is not tied to any specific library. The answer is that using bags in our original specification of parser semantics allowed us to change the order of the results in the list. What is the law that allows us to derive the implementations of the corresponding operations? Instead, a parser should be made aware of the way it is used, its context. The application of f to e is denoted by juxtaposition ("f e"). The store is a list and the variable v is the i-th element of the list. The order in which the solution of each equation is computed is undetermined. The name is misleading because the control flow could be to the same instance. At that time, the translation checks if the template following the loop is the same as the template for the guard. The proof is very similar to the proof of the previous case. Specialization is used to avoid inefficiencies involved in dispatching overloaded functions. The body of a derived instance declaration is derived syntactically from the definition of the associated type. The task is to enumerate all colorings of a given, arbitrary forest. A computation is a state transformer, that is, a function from states to states. The idea is to introduce a field for each variable symbol. The idea, of course, is that the calling convention for a function that returns an unboxed tuple arranges to return the components in registers. A theory is a house made of hypotheses. We start with a result that helps in establishing that load is a correspondence. We may conclude, therefore, that the program is not safe. More fundamentally it is stack based in that access decisions depend on permissions of code in the calling chain. Moreover, the underlined logic of our system is intuitionistic logic. In any program with a high security read, the read level of the entire program is pushed up. The second is the label of a new empty block added to the end of the active function and made the current block. In each form, there is a function, procedure, or method for each instruction. A sequent is a pair (, a) consisting of an environment and a pseudoterm. The great advantage of the continuation-based technique is its genericity. Second, there is a sound and complete proof system for validity. A general open problem in the area of secure programming languages is how to devise a type system for a language with declassification operations. The second statistic of special interest is the error () estimate which offers an indication of specific risk. As a result, labor is unable to be unified in its push for labor rights and democratic participation. In short, it is a survey based on the principle of bottom up rather than that of top down. The human rights item is cast in the following words. At the same time, it is indisputable that outside actors have had a major impact in supporting the development of democracy in these countries. We believe that the range of country and topical coverage is too great to allow for such manipulation. We cannot decide which of these readings is true. The correlation is the consequence of a composition effect and is no evidence against the validity of the index. However, enhancing stability also means that it is harder to unseat a government. The result is a kind of rootlessness of the personality. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。