An Experiment in Formalizing Commitments Using Action Languages