(N|H BA \C\Gs - (NgANBAT b(B.s ((NuLAANBAATARs c)