Assertion list
system programmer (subgroup of programmer ) → CapableOf
Results from Ascent++: 1
system programmer → CapableOf → write program 0.68