A rule has to ascertain that all elements in a List<ElemBoxStatus>in a
Collector occur in the matching BoxResponse's Set<ElemBoxStatus>. There is
just one BoxResponse per Collector.

This here works fine:

rule matchCollectorResponse
when
        $c : Collector( $ebsList : elemBoxStatusList, $gsSet : globalStatusSet )
        $b : BoxResponse( collector == $c, globalStatusSet == $gsSet, $ebsSet : elemBoxStatusSet )
        forall( $ebs : ElemBoxStatus() from $ebsList
                BoxResponse( collector == $c, elemBoxStatusSet contains $ebs ) )
    then
...
end

Thinking that $ebs is already available from the second pattern ($b:...), I tried

rule matchCollectorResponse
    when
        $c : Collector( $ms : message, $ebsList : elemBoxStatusList, $gsSet : globalStatusSet )
        $b : BoxResponse( collector == $c, globalStatusSet == $gsSet, $ebsSet : elemBoxStatusSet )
        forall( $ebs : ElemBoxStatus() from $ebsList
               eval( $ebsSet.contains( $ebs ) ) )
    then
...
end

but the compiler came back with

Line ...:55 no viable alternative at input '$ebs' in rule matchCollectorResponse in pattern eval

Defining a suitable function isIn(...) and using this within eval() produces the same result. This
and other experiments seems to indicate that bindings in the first pattern of forall() are not
passed in to an eval() later in the forall.

JIRA?

-W