This image shows the Design Panel of the Logic Extension Assertions.