 where \(A_1, \ldots, A_k\) and \(B_1, \ldots, B_n\) are propositional literals, i.e., propositional atoms or negations thereof. Such a rule represents an elementary causal dependency in manner akin to a structural equation. The symbol \(\Rightarrow\) stands for some notion of asymmetric determination accordingly. Bochman (2018) shows how structural equations using only binary variables may be translated into a set of rules.