_:b10015 . _:b10015 "1"^^ . _:b10015 .