What AI Says About TheoremOne | Parse