:axioms (single-valued r) not work

hello everyone !
I try to use single-valued with relation, but it not work. powerloom version
is 3.2.11
this is my code ,between --start-- and --end--

--start--
PL-USER |= (defconcept person)

|c|PERSON

PL-USER |= (defrelation age ((?p person) ?y) :axioms (single-valued age))

|r|AGE

PL-USER |= (assert (person p1))

|P|(PERSON P1)

PL-USER |= (assert (age p1 2))

|P|(AGE P1 2)

PL-USER |= (assert (age p1 4))

|P|(AGE P1 4)

PL-USER |= (retrieve all (age ?x ?y))

There are 2 solutions:
  #1: ?X=P1, ?Y=4
  #2: ?X=P1, ?Y=2

--end--

Any wrong here? what should I do?

_______________________________________________
powerloom-forum mailing list
[email protected]
http://mailman.isi.edu/mailman/listinfo/powerloom-forum