Assertion list
problem (primary) → IsA
Results from Ascent++: 2
problem → IsA → the difficulty 0.51
problem → IsA → question 0.48