Assertion list
partial tear (subgroup of tear ) → HasPrerequisite
Results from Ascent++: 1
partial tear → HasPrerequisite → a trimming or smoothing procedu… 0.68