142143144145146147148
Node next = child.next(); LogicalExpression first = parse(next,p); if (!child.hasMoreChild()) exception(3); next = child.next(); LogicalExpression second = parse(next,p); return new ImpliesExpression(first,second); }