Understanding and Supporting Knowledge Decomposition for Machine Teaching | Synapse