PaperDocument
enginecomponents
pToScenarioBuilder
Scenario
paper
Document
prettyDescription
BecauseReason
ByRecursionReason
EqualsAssertion
NotYetValid
ResultAssertion
ScenarioAssertion
ScenarioReason
SimpleReason
UnknownAssertion
WhenByReason
produces
FromSituationScenarioBuilder