Decision question:
Customer problem terms:
Action/mechanism terms:
Outcome and constraint terms:
Archive choices:
Queries tried:
Case inclusion/exclusion reasons:
Counterexample search:
Remaining gap and stopping rule: