_:b415401942 . _:b415401942 "0"^^ .