Complex String Manipulation

Nextdoor search supports simple query expressions over post text. Implement a function that determines whether a post matches a query containing ordinary terms, quoted phrases, and exclusions.

A positive term or phrase must appear in the post. All positive clauses must match. A clause prefixed with - must not appear. Matching is case-insensitive, and punctuation separates words. Terms match whole words, while quoted phrases must match consecutive whole words.

Formal Specification

Implement matches_post(post, query), where both arguments are strings. Return True if the post satisfies every clause in the query, otherwise return False.

The query is valid and follows these rules:

1. Terms are separated by one or more spaces.
2. A phrase is enclosed in double quotes, such as "street parking".
3. A negative clause starts with -, such as -sale or -"garage sale".
4. Punctuation inside a term or phrase is treated as a word separator.
5. An empty query matches every post.