This will consist of nodes corresponding to the values on which the evaluation depends. The directions will correspond to the descent functions, and the commutativity relations will be given by the commutativity conditions.