[Attempto] relation(var1,of,var2) with var2 inexistant.

[Pierre-Alexandre Voye]

Hello,

Working around some sentences taken from "ACE described by itself", i get a
strange result : the second variable to which relation refer doesn't exist.

Here the two sentences, I simplified :

There are some users.
They prefer to use a formal method in their own natural language.

The drs resulted :

drspp>[A,B,C]
object(A,user,countable,na,geq,2)-1/4
predicate(B,prefer,A,C)-2/2
   C
   [D,E,F]
   object(D,method,countable,na,eq,1)-2/7
   property(D,formal,pos)-2/6
   relation(E,of,G)-2/9
   object(E,language,countable,na,eq,1)-2/12
   property(E,natural,pos)-2/11
   predicate(F,use,A,D)-2/4
   modifier_pp(F,in,E)-2/8
</drspp>

We can see that the variable G, used in relation(E,of,G)-2/9 doesn't exist.

Is it a normal behavior ?

Thank you.

P-A Voye
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20180531/f171a923/attachment.html>