Assertion list
warning letter (subgroup of letter ) → IsA
Results from Ascent++: 2
warning letter → IsA → failure 0.29
warning letter → IsA → genuine attempt 0.16