Assertion list
formal education (subgroup of education ) → IsA

Results from Ascent++: 1
formal educationIsA education 0.68