public void testConnectedImplication() { parser = new FOLParser(DomainFactory.weaponsDomain()); parser .parse("((Missile(m) AND Owns(Nono,m)) => Sells(West , m ,Nono))"); }