$$z_{fail,syn}$$
false
$$z_{\neg avail,syn}$$
false
$$z_{class,fail}$$
false
$$z_{class,\neg avail}$$
false
$$z_{class,fail,conf}=confirm(z_{class,fail},$$
,
,
,
)
$$z_{class,fail,conf}$$ false
$$count_{class,fail}$$ 0
$$z_{class,\neg avail,conf}=confirm(z_{class,\neg avail},$$
,
,
,
)
$$z_{class,\neg avail,conf}$$ false
$$count_{class,\neg avail}$$ 0
$$\neg \underline{z}_{class,\neg avail,rbc,(o,*,*)}$$
$$\neg \underline{z}_{class,fail,rbc,(o,*,*)}$$
$$\neg \underline{z}_{cat,\neg avail,rbc,(*,o,*)}$$
false
$$\underline{z}_{cat, fail,rbc,(*,o,*)}$$
false
$$s_{off,(o)}$$
false
$$s_{iso,(o)}$$
false