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