object DefaultExplanatoryAssertionGroupType : ExplanatoryAssertionGroupType (source)
The AssertionGroupType for AssertionGroups whose assertions are used to explain
something rather than pointing something out -- accordingly the AssertionGroup.holds should always return true.