Assertion: contract | /r/HasProperty | equivalent
Facets:
value: to a hoare triple
type: OTHER
value: semantically
type: DEGREE
Source sentences:
text: The contract is semantically equivalent to a Hoare triple which formalises the obligations.