I think that there is an ambiguity for defining the time derivative of a superfunction on the phase space of pseudo-classical mechanics of Grassmann numbers.
Let $\xi$ be a Grassmann odd number. Its canonical conjugate variable is $p$. Let $f(p,\xi)$ be a superfunction defined on the phase space $(p,\xi)$ of "classical fermions". The time derivative can be defined in two ways:
Which definition should I use?