This paper presents a novel analysis of so-called gapless relative clause constructions such as Mandarin xiangpi ranshao de weidao (literally, ‘the smell that rubber burns’). Such constructions have been observed in East Asian languages. It is claimed that the Head noun of such relative clauses are relational nouns, and the clauses are their licensors. Syntactically, the Head nouns are predicat...

In this paper, we present SnipSuggest, a system that provides onthe-go, context-aware assistance in the SQL composition process. SnipSuggest aims to help the increasing population of non-expert database users, who need to perform complex analysis on their large-scale datasets, but have difficulty writing SQL queries. As a user types a query, SnipSuggest recommends possible additions to various ...

Several (and successfull) Information Extraction systems have recently replaced the core parsing components with shallow but more ecient recognizers. In this paper we argue that the absence of an underlying grammatical recog-nizer, given the complex nature of several (non-english) languages , is a strong limitation for text processing functionali-ties, like those an IE system needs. We propose ...

The article considers not the most productive type of multicomponent complex sentences – constructions with heterogeneous subordination. Nevertheless, this are important in style exact sciences, especially texts mathematical works, where main task author is to show course logical reasoning, and reader follow movement author's thought. In order correctly understand idea, it necessary imagine des...

Abstract A new methodology/data structure, the clause tree, is developed for automated reasoning based on resolution in first order logic. A clause tree T on a set S of clauses is a 4-tuple , where N is a set of nodes, divided into clause nodes and atom nodes, E is a set of edges, each of which joins a clause node to an atom node, L is a labeling of N ∪ E which assigns to each clause n...

We analyze the performance of various clause selection heuristics for saturating first-order theorem provers. These heuristics include elementary first-in/fist-out and symbol counting, but also interleaved heuristics and a complex heuristic with goal-directed components. We can both confirm and dispel some parts of developer folklore. Key results include: (1) Simple symbol counting heuristics b...

By generalizing the notion of location of a constituent to allow discontinuous Ioctaions, one can describe the discontinuous constituents of non-configurational languages. These discontinuous constituents can be described by a variant of definite clause grammars, and these grammars can be used in conjunction with a proof procedure to create a parser for non-configurational languages.

It is interesting to understand the Attentat Clause about extradition of terrorist acts, among others; (1) formulation criminal acts terrorism in law some countries, and Indonesian law, (2) basic idea ​​the attentive clause Article 5 Law Number 15 Year 2003 on Combating Terrorism Crime, (3) legal implications Of differences arrangement attentate clause, between countries (Article Republic Indon...

The Clause slicing technique is a static slicing technique. The clause slice criterion is the clause, which is the smallest part of the code line, with the clause number. In this paper, we introduce the “Clauser,” which is a new clause slicing tool for C programs. The Clauser is a slicing tool that divides the program code lines into clauses, depending on certain rules, and then it slices the c...