The third part of the traversal expression is a Boolean expression.

We opted for a generic "requires and provides" style constraint system but the really cool part is the pseudo-boolean constraint engine, SAT4J, we use for selecting components to build a system.

For a qualifier with a boolean value, the value part can be omitted for brevity.