| View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info | Tagged Values |
| General Info | |
| Name | PostCondition |
| Multiplicity | * |
| Type | String |
| Base Classes | UseCase |
| Tagged Values | ||
| Tag Definition/Tag Name | Value | Documentation |
| Tag Definition: UseCase Property Group : UseCase Property Group Enumeration[1] | Conditions | |