_:b400974271 "12"^^ . _:b400974271 "the word satisfy" .