ExplanatoryAssertionGroupType
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.