This image shows the Data Structure tab of Logic Extension Assertions.