(premises, conclusions)
return dict(chain(premises.items(), conclusions.items()))
Given two dictionaries of morphisms and their properties,
        produces a single dictionary which includes elements from both
        dictionaries.  If a morphism has some properties in premises
        and also in conclusions, the properties in conclusions take
        priority.
Given two dictionaries of morphisms and their properties,
        produces a single dictionary which includes elements from both
        dictionaries.  If a morphism has some properties in premises
        and also in conclusions, the properties in conclusions take
        priority.
Given two dictionaries of morphisms and their properties produces a single dictionary which includes elements from both dictionaries . If a morphism has some properties in premises and also in conclusions the properties in conclusions take priority .
def _merge_premises_conclusions(premises, conclusions):
        """
        Given two dictionaries of morphisms and their properties,
        produces a single dictionary which includes elements from both
        dictionaries.  If a morphism has some properties in premises
        and also in conclusions, the properties in conclusions take
        priority.
        """
        return dict(chain(premises.items(), conclusions.items()))
def _merge_premises_conclusions ( premises , conclusions ) : return dict ( chain ( premises . items ( ) , conclusions . items ( ) ) )