Propositions to objects, step 2: implement Prolog-style backwards rule (dev.)