An assertion defines a full or partially configured state of a choice by asserting true,
false or undecided values for some number of predicates associated with the selections for that choice.
The assertion can in other words be used to preconfigure and/or restore the current state in a chain of choices.