context $a, $b, $c;
predicate1 {
context $a, $b, $c;
predicate2 {
}}