Assertion list
rebuttable presumption (subgroup of presumption ) → IsA
Results from Ascent++: 2
rebuttable presumption → IsA → presumption 0.41
rebuttable presumption → IsA → normal assumption 0.25