@Before
public void setUp() {
FOLDomain domain = DomainFactory.crusadesDomain();
lexer = new FOLLexer(domain);
parser = new FOLParser(lexer);
}
@Test
public void testConnectedImplication() {
parser = new FOLParser(DomainFactory.weaponsDomain());
parser.parse("((Missile(m) AND Owns(Nono,m)) => Sells(West , m ,Nono))");
}
