_:b402848327 "rnb" . _:b402848327 "2"^^ .