Assertion list for term "execute at least one action".
Results from Ascent++: 1
processor (aspect of pda) → CapableOf → execute at least one action 0.25