[Attempto] counting, maximum, sums

[Norbert E. Fuchs]

On 4 Dec 2010, at 14:11, Jean-Marc Vanel wrote:

> 2010/12/4 Norbert E. Fuchs <fuchs at ifi.uzh.ch>:
> ...
> >
> >  If the number of the parts of a product X is N then the number of the workers of X is N.
> >
> ...
> In order to capture the semantics of the sentence, what is desirable is that a DRS variable binds the cardinality of the "part" object to that of the "worker" object.
> ...

Why? From your example it seems that you want the "number of the parts" to equal "the number of the workers". The cardinality "geq 2" of "parts" and "workers" reflects simply that these words are plural.

   --- nef