The paper elaborates the possibility of extending arbitration clause to entities which are not formal parties agreement (Non-Signatories) through piercing corporate veil. Piercing veil is a company law concept separate legal existence being disregarded (pierced) in order for creditors be able expand their claims against assets or other rights company's shareholders. Basic substantive standards ...

In this paper I propose a new analysis of the English cleft in which the cleft clause is a restrictive relative clause adjoined to the clefted XP. I provide evidence showing that both ‘matching’ and ‘raising’ derivations are possible, that the initial it of clefts is not an expletive, and that the cleft clause undergoes obligatory extraposition to VP. Taken together, this evidence favours the p...

This paper presents an efficient algorithm for computing sub-Herbrand universes for arguments of functions and predicates in a given clause set. Unlike the previous algorithm, which processes all clauses in the given clause set once for computing each sub-Herbrand universe, the proposed algorithm computes all sub-Herbrand universes in the clause set by processing each clause in the clause set o...

The Maryland Refutation Proof Procedure Systems (MRPPS) is an interactil perimental system intended for studying deductive search methods. Although the work is oriented towards question answering, MRPPS provides a general problem solving capability. There are three major components within MRPPS. These are: (1) an inference system, (2) a search strategy, and S (3) a base clause selection strateg...

The constitutional controversies surrounding abortion-related legislation now include the Religion Clauses of the first amendment. The legislation being challenged, by either restricting the Medicaid funding of abortions or regulating the performance of abortions , embodies anti-abortion interests. Arguments have been advanced that religious beliefs and values have played a predominant role in ...

It is generally assumed that ellipsis requires certain parallelism between the clause containing the ellips is and some antecedent clause. We argue that the parallelism requirement generated by ellipsis must be applied in accordance with discourse structure: a matching antecedent clause must be found that locally c-commands the clause containing the ellipsis in the discourse tree. We show that ...

In this article, the so-called wh-relative clause construction is investigated. The German wh-relative clauses are syntactically relevant as they show both, root clause and subordinate clause properties. They matter semantically because they are introduced by a wh-anaphor that has to be resolved by an appropriate abstract entity of the matrix clause. Additionally, the wh-relative clause constru...

This paper investigates the powerplay in one-day cricket. The rules concerning the powerplay have been tinkered with over the years, and therefore the primary motivation of the paper is the assessment of the impact of the powerplay with respect to scoring. The form of the analysis takes a “what if” approach where powerplay outcomes are substituted with what might have happened had there been no...

Equivalency clauses (Xors or modulo 2 arithmetics) represent a common structure in the SAT-encoding of many hard real-world problems and constitute a major obstacle to DavisPutnam (DP) procedure. We propose a special look-ahead technique called equivalency reasoning to overcome the obstacle and report on the performance of an equivalency reasoning enhanced DP procedure on SAT instances containi...