object WarningAssertionGroupType : ExplanatoryAssertionGroupType
The AssertionGroupType for AssertionGroups whose assertions are used to state a warning rather than making an assumption.
For instance, to state that an implicit assumption is not met.