public PLFCEntails() { count = new Dictionary<HornClause, int>(); _inferred = new Dictionary<Symbol, bool>(); agenda = new Stack<Symbol>(); }