What AI Says About Logical Developments | Parse