Assertion list
working hypothesis (subgroup of hypothesis ) → IsA
Results from Ascent++: 2
working hypothesis → IsA → accepted hypothesis 0.68
working hypothesis → IsA → hypothesis 0.55