54555657585960
private final AtomDVariable vz = new AtomDVariable("z"); @Before public void setUp() { kb = new KnowledgeBase(); ruleTranslator = new RulesToReteTranslator(kb.getABox()); }