_:b401255527 "eddie" . _:b401255527 "3"^^ .