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