The synthesis sources were decomposed from the initial decision system, and a synthesis reasoning source was constructed from each decomposed decision system.