Subframework Probability

Assuming independence, the probability of a subframework $F' = (A', R')$ is $P(F') = \prod_{a \in A'} P(a) \prod_{a \in A \setminus A'} (1 - P(a)) \prod_{r \in R'} P(r) \prod_{r \in R_{A'} \setminus R'} (1 - P(r))$, where $R_{A'} = R \cap (A' \times A')$.