_:b401529802 "fun" . _:b401529802 "4"^^ .