_:b401472234 "happy" . _:b401472234 "2"^^ .