 The complete and precise definition of the synthesis of local reasons is given by rules for the statements depending on their form (like the two examples above). The complete table of synthesis rules can be found in Rahman et al. (2018).