TR167: Formalization of Construction Sequencing Rationale and Classification Mechanism to Support Rapid Generation of Sequencing Alternatives