Assertion list
substitution (primary) → CapableOf
Results from Ascent++: 2
substitution → CapableOf → satisfy the substitution invari… 0.25
substitution → CapableOf → say syndromes of the decoded va… 0.25