Text this: Hilbert spaces with generic predicates