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] }