Assertion list for term "focus on implication".

Results from Ascent++: 1
paper CapableOffocus on implication 0.42