To align representations of law, of implementations of law and of concrete behaviours, we designed a common ground representational model for the three domains, based on the notion of position, building upon Petri nets. This paper reports on work to define subsumption between positional models.

We investigate a rst-order extension of the Theory of Primitive Objects of 5] that supports method extension in presence of object subsumption. Extension is the ability of modifying the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. Th...

We propose to use the visual denotations of linguistic expressions (i.e. the set of images they describe) to define novel denotational similarity metrics, which we show to be at least as beneficial as distributional similarities for two tasks that require semantic inference. To compute these denotational similarities, we construct a denotation graph, i.e. a subsumption hierarchy over constituen...

We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in (Kan63), who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the redundancy notions of tautology elimination and subsumption. The implication of our result is the complet...

Borehole PRGL1-4 drilled in the upper slope of the Gulf of Lion provides an exceptional record to investigate the impact of late Pleistocene orbitally-driven glacioeustatic sea-level oscillations on the sedimentary outbuilding of a river fed continental margin. High-resolution grainsize and geochemical records supported by oxygen isotope chronostratigraphy allow reinterpreting the last 500 ka u...

Spring-summer winds from the south move moist air from the Gulf of Mexico to the Great Plains. Rainfall in the growing season sustains prairie grasses that keep large dunes in the Nebraska Sand Hills immobile. Longitudinal dunes built during the Medieval Warm Period (800 to 1000 years before the present) record the last major period of sand mobility. These dunes are oriented NW-SE and are compo...