Valve selectors are now added to u-channels taking into account the intersection of variables in the rules antecedents. This allows a partially instantiated generic to be derived when possible, which then itself may derive an answer.