Text this: A theory of predicates