The Text inside of the Specification
Ÿtransformation WITHDRAW {
Ÿ   When withdrawing a certain amount of money from an account, the
Ÿ   following BEFORE ROW and AFTER STATEMENTS actions or controls must
Ÿ   take place according to the (MOMENT & LEVEL):
Ÿ   when it is [BEFORE ROW] then, the engine must: {
Ÿ      <check the user’s permission over transformation>,
Ÿ      <check the transformation’s permissions for changing the ...>,
Ÿ      <validate the column’s values> and
Ÿ      <deduct the quantity withdrawn from the account’s balance>
Ÿ   };
Ÿ   finally, when it is [AFTER STATEMENT] then, the engine must {
Ÿ      <save audit information at record level>
Ÿ   }.
Ÿ}