_:b415255572 . _:b415255572 "0"^^ .