_:b415088238 . _:b415088238 "0"^^ .