Output now includes lists of Terms.