return world.parseATerm(channel);
ATerm t = world.parseATerm(channel); if(verbose) { System.err.print("tool " + name + " has read term: "); t.print(System.err); System.err.println(""); } return t;
  static public ATerm readTerm(World world, InputStream s)    throws ParseError, IOException  {    ToolBusChannel channel = new ToolBusChannel(s);    channel.reset();    channel.read();    return world.parseATerm(channel);  }