Logic1 GLARF relations are generated from treebank and parses for English, Chinese and Japanese. We focus on evaluation of system output for both input types, often allowing for multiple correct answers.

We present and discuss a simple semantic approach to force step-indexed logical relations to be transitive.

We investigatea simple form of parametricity, based on adding \abstract" copies of pre-existing types. Connections are made with the Reynolds-Ma theory of parametricity by logical relations, with the theory of parametricity via dinaturality, and with the categorical notion of equivalence.

It has been proposed that the capacity to code the 'like me' analogy between self and others constitutes a basic prerequisite and a starting point for social cognition. It is by means of this self/other equivalence that meaningful social bonds can be established, that we can recognize others as similar to us, and that imitation can take place. In this article I discuss recent neurophysiological...

We review the relationship between polygyny and HIV and identify a positive individual-level correlation, and a negative ecological correlation. We subsequently examine two mechanisms that contribute to the individual-level correlation. First, we find that men in polygynous marriages have more extramarital sex than men in monogamous unions (both in terms of self reports and in terms of spousal ...

where the variables α and β range over entities of some sort, and where ∼ is an equivalence relation on this sort of entity. Frege’s inconsistent Basic Law V shows that not every such principle is acceptable. A variety of criteria for acceptable abstraction have been proposed.1 In this note I analyze the logical relations between some of the proposed criteria, in particular conservativeness, ir...

The importance of a person's spirit and eternal destiny are eclipsed in American medi- cine. The most alarming effect of this eclipse is that the prevalence of burnout among physicians is high (about 46 percent) and growing.' It is alarming because trends that deplete the physician's spirit tragically impair the physician's capacity as a healer and as one who renews the spirit.

Sunni Islam has no supreme legal authority and disagreement by doctors of Islamic law over all issues not clarified by Islamic law is physiological. This is the case with Medically Assisted Reproduction: after an initially critical attitude, tolerance, limited exclusively to homologous practices, is spreading, whilst recourse to heterologous practices is considered on a par with adultery or for...

Premarital precursors of infidelity were evaluated in a sample of 72 couples (N = 144) who were taking part in a longitudinal study of marriage. Premarital self-report and observational data were compared for couples who experienced infidelity and those who did not experience infidelity in the first years of marriage. Couples in which the male engaged in marital infidelity were characterized, p...

We obtain several combinatorial results about chains, cycles and orbits of the elements of the symmetric inverse semigroup ISn and the set Tn of nilpotent elements in ISn. We also get some estimates for the growth of |ISn| and |Tn|, and study random products of elements from ISn.