Assertion list
formal letter (subgroup of letter ) → IsA

Results from Ascent++: 2
formal letterIsA among explanation 0.57
formal letterIsA for the most part 0.27