automatic grammar processing facility and the first use of it: grammar "pretty printer"