Pop culture quotes written in first-order logic – can you figure them out? | Hacker News Reader