Assertion list
true friendship (subgroup of friendship ) → CapableOf
Results from Ascent++: 1
true friendship → CapableOf → take time 0.39