[Attempto] Small mistake in paraphrasing?

[Theodore H. Smith]

Hi attempto developers,

I was going through a few examples.

I tried this one: "A customer inserts a card and the machine checks the code."

I got this output:


Paraphrase:
There is a customer X1.
The customer X1 inserts a card.

There is a machine X1.
The machine X1 checks a code.

DRS:
[A,B,C,D,E,F]
object(A,customer,countable,na,eq,1)-1/2
object(B,card,countable,na,eq,1)-1/5
predicate(C,insert,A,B)-1/3
object(F,machine,countable,na,eq,1)-1/8
object(E,code,countable,na,eq,1)-1/11
predicate(D,check,F,E)-1/9



The DRS looks correct. But unless customers are now all robots, I don't think the paraphrase is correct ;)

I think the X1 in the second paragraph should be X2?

--
http://angelcog.org/
"A true logic processing language." (currently under development)