Mention of prenex form in documentation. Minor printing changes and more logging.
Bug fix in term abduction optimization (choice 6).