bnf “ so “ sslihkv.