From 6a09c6df1779abd349d9521953b3627306b3d686 Mon Sep 17 00:00:00 2001
From: Naweed Khan <Naweed.Khan@ibm.com>
Date: Fri, 24 Jun 2022 15:29:12 +0200
Subject: [PATCH] FIX, ADD: kwds catchall for Negation node

Passing kwds through a negation (as in the learning case) breaks inference - adding a catchall so that the node can ignore unused inputs
solves #26

May need a better mechanism for handling the abstraction of `traverse_execute` but this should suffice for now.
---
 lnn/symbolic/logic.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lnn/symbolic/logic.py b/lnn/symbolic/logic.py
index c2900ce..478de86 100644
--- a/lnn/symbolic/logic.py
+++ b/lnn/symbolic/logic.py
@@ -1312,7 +1312,7 @@ def upward(self, **kwds) -> torch.Tensor:
             None, _utils.negate_bounds(self.operand.get_facts(*groundings))
         )
 
-    def downward(self) -> torch.Tensor:
+    def downward(self, **kwds) -> torch.Tensor:
         if self.propositional:
             groundings = {None}
         else: