This is the Windsor Language.

The purpose of the language is to represent segments of users by specifying 1.) a combination of constraints on user traits 2.) Constraining what events a user should/should not have

The language itself will be specced out in this document. Note that since we are functional programmers, the code we write is simply a transformer from The Windsor Language into another format (PostgreSQL, ES, node).

Root => BoolExpr

BoolExpr => [BoolExpr] | Selector

Selector => [PropertyFilter]

{ type (require): BoolExpr | Selector | PropertyFilter, subtype (optional): event | user, op: [=,range,<,>,!=], children: [BoolExpr | PropertyFilter] }