Updated EntailmentGraphGenerator, print table and trace.
Changed name of input file.