What AI Says About LTLcompare | Parse