Text this: On equationally Noetherian predicate structures