code: def clauses_with_premise(self, p):
          
          return [c for c in self.clauses
                  if c.op == '>>' and p in conjuncts(c.args[0])]
docs: Return a list of the clauses in KB that have p in their premise.
          This could be cached away for O(1) speed, but we'll recompute it.