Assertion list for term "correspond to check".
Results from Ascent++: 2
program → CapableOf → correspond to check 0.33
substitute check (subgroup of check) → CapableOf → correspond to check 0.16