| {...} |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAssuranceCaseResult(AssuranceCaseResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseModelResult(ModelResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseSubsystemResult(SubsystemResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseClaimResult(ClaimResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationResult(VerificationResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAssureResult(AssureResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationExpr(VerificationExpr) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseElseResult(ElseResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseThenResult(ThenResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseMetrics(Metrics) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseQualifiedVerificationPlanElementReference(QualifiedVerificationPlanElementReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseQualifiedClaimReference(QualifiedClaimReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseQualifiedVAReference(QualifiedVAReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseNestedClaimReference(NestedClaimReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| casePreconditionResult(PreconditionResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseValidationResult(ValidationResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationActivityResult(VerificationActivityResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| casePredicateResult(PredicateResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| defaultCase(EObject) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |