private void indexFact(Literal fact) { String factKey = getFactKey(fact); if (!indexFacts.ContainsKey(factKey)) { indexFacts.Add(factKey, new List<Literal>()); } indexFacts[factKey].Add(fact); }