Return the first (or "simplest") Alternative in the given Rule structure which has been proven to be productive.
See Implementation
Return the first (or "simplest") Alternative in the given Rule structure which has been proven to be productive.