_:b415123948 . _:b415123948 "0"^^ .