A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings