special.sigma.DslSyntaxExtensions
Logical AND between Boolean on the left and SigmaProp value on the right.