_:b415047992 . _:b415047992 "0"^^ .