_:b403900312 "8"^^ . _:b403900312 "etc" .