Head noun: postcondition
| Same concepts |
|---|
| http://dbpedia.org/resource/Postcondition |
Broader concepts
| label | provenance | confidence |
|---|---|---|
| assertion | isap:21845502 | 0.364765 |
| thing | isap:142251110 | 0.272266 |
| function | isap:64040822 | 0.134333 |
Narrower concepts
| label | provenance | confidence |
|---|