':return: (set<variables>, set<events>, set<propositions>)'

def variables(self):

    (variables, events, propositions) = self._variables()
    return ((variables - (events | propositions)), events, (propositions - events))
