public void setUp() { parser = new PLParser(); plfce = new PLFCEntails(); }
public void setUp() { plfce = new PLFCEntails(); }