interface ExplanatoryAssertionGroupType : DoNotFilterAssertionGroupType (source)
Represents the AssertionGroupType for AssertionGroups whose assertions are mainly
used to explain something -- hence in the normal case it should not be of importance whether they hold or not
and thus such AssertionGroups should usually return
true for holds.
But they can return
false in which case the corresponding group holding it should no longer hold either.
object DefaultExplanatoryAssertionGroupType : ExplanatoryAssertionGroupType
data class InformationAssertionGroupType : ExplanatoryAssertionGroupType
object WarningAssertionGroupType : ExplanatoryAssertionGroupType