_:b415017889 . _:b415017889 "0"^^ .