sem [ fbn fbpn bn bpn ] { if(a) annul(); };