Re: proof step for list built-in is goofy

On Thu, 2006-10-19 at 08:59 -0400, Tim Berners-Lee wrote:
> Yup, looksas though the same param has been given twice in the proof.

query.py was using the same reason for MultipleReverseFunction 
and normal ReverseFunction's. I think I fixed it:

--- query.py    24 Aug 2006 17:54:01 -0000      1.76
+++ query.py    7 Nov 2006 07:44:17 -0000       1.77
@@ -1692,13 +1692,16 @@
                             return []
                        if result != None:
                            self.state = S_DONE
-                           rea=None
-                           if diag.tracking:
-                               rea = BecauseBuiltIn(con, result, pred,
obj)
                            if isinstance(pred,
MultipleReverseFunction):
-                               return [(Env({subj:(x,None)}), rea) for
x in result]
+                                return [(Env({subj:(x,None)}),
+                                         diag.tracking and \
+                                         BecauseBuiltIn(con, x, pred,
obj)) \
+                                        for x in result]
                            else:
-                               return [(Env({subj: (result,None)}),
rea)]
+                               return [(Env({subj: (result,None)}),
+                                         diag.tracking and \
+                                         BecauseBuiltIn(con, result,
pred, obj)+                                         )]
                         else:
                            return []
                else:



-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E