What AI Says About LTL Systems | Parse