Assertion definition language