_:b400372913 "tnps" . _:b400372913 "9"^^ .