Since the prediction result for each query substructure is independent, the score for query structure S i is measured by joint probability, which is Assume that should be 1 in the ideal condition.
∀S * j S i , Pr[S * j | y] should be 0.