For the first property, we apply a commonly-used strategy that imposes the rule constraints on q through an expectation operator.
for each rule (indexed by l) and each of its groundings (indexed by g) with confidence λ l .