_:b415308508 . _:b415308508 "0"^^ .