_:b401715984 "happy" . _:b401715984 "10"^^ .