object ExplanatoryAssertionGroupType : IExplanatoryAssertionGroupType
The IAssertionGroupType for IAssertionGroups whose assertions are used to explain
something rather than pointing something out -- accordingly the IAssertionGroup.holds should always return true
.