def clauses_with_premise(self, p):
        """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."""
        return [c for c in self.clauses
                if c.op == '>>' and p in conjuncts(c.args[0])]
def clauses_with_premise(self, p):
        """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."""
        return [c for c in self.clauses
                if c.op == '>>' and p in conjuncts(c.args[0])]
def clauses_with_premise ( self , p ) : return [ c for c in self . clauses if c . op == '>>' and p in conjuncts ( c . args [ 0 ] ) ]
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.
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 .