Assertion list
current state (subgroup of state ) → CapableOf
Results from Ascent++: 3
current state → CapableOf → remain unchanged 0.68
current state → CapableOf → begin in april 0.31
current state → CapableOf → depend on previous states 0.25