2010/12/4 Norbert E. Fuchs <<a href="mailto:fuchs@ifi.uzh.ch">fuchs@ifi.uzh.ch</a>>: > > On 3 Dec 2010, at 20:42, Jean-Marc Vanel wrote: > >> But as far as I know, it's not possible to say something about a cardinality not assigned to a value, like: >> If X is a product and it has a number of parts N then N is equal to the number of workers for X . > > How about > > If the number of the parts of a product X is N then the number of the workers of X is N. > > which probably could be simplified even more. The problem is not that it can't be said in ACE, it is whether the semantics is captured in the DRS. If we look at the DRS below , the "part" object is only constrained to have a cardinality superior to 2 . This is coherent with what the DRS report says : object(Ref,Noun,Class,Unit,Op,Count) ... Count A positive number or na. Together with Unit and Op, this defines the cardinality or extent of the object. 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. [] [A,B,C,D,E] relation(C,of,D)-1/4 object(C,number,countable,na,eq,1)-1/3 predicate(B,be,C,A)-1/11 relation(D,of,E)-1/7 object(E,product,countable,na,eq,1)-1/9 object(D,part,countable,na,geq,2)-1/6 object(A,something,dom,na,na,na)-1/12 => [F,G,H] relation(G,of,H)-1/16 object(G,number,countable,na,eq,1)-1/15 predicate(F,be,G,A)-1/21 relation(H,of,E)-1/19 object(H,worker,countable,na,geq,2)-1/18 > > --- nef -- Jean-Marc Vanel Consulting, services, training, Rule-based programming, Semantic Web <a href="http://jmvanel.free.fr/">http://jmvanel.free.fr/</a> EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java bytecode +33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16 ( we rarely listen to voice messages, please send a mail instead )