_:b401580006 "happy" . _:b401580006 "2"^^ .