public void setUp() { parser = new FOLParser(DomainFactory.crusadesDomain()); sv = new SubstVisitor(); }