Assertion list
mission (aspect of guard ) → HasProperty
Results from Ascent++: 6
mission → HasProperty → complete 0.68
mission → HasProperty → important 0.31
mission → HasProperty → simple 0.31
mission → HasProperty → linear 0.25
mission → HasProperty → impossible 0.23
mission → HasProperty → easy 0.16