What AI Says About Lifted Logic | Parse