What AI Says About Higher Logic | Parse