The IA, by contrast, uses a different expand-method, each time creating a single new state in accordance with the pre-determined preference order.
in the initial state, and assuming (as before) that type is the most preferred attribute, the expand-method would create a single new state: s above.