_:b402384271 "4"^^ . _:b402384271 "double-ender 4" .