1.0 a(x,z).
0.0 bb2(_,2).