_:b402217743 "summer" . _:b402217743 "25"^^ .