4. The system of claim 1 wherein the assertion group object is a box and the right and left edges of the box correspond to assertion gates.
5. The system of claim 4 wherein at least one of the top and bottom edge of the box correspond to the at least one assertion gate that is neutral to the assertion.