Tarski's world rewritten for the web