fun withType(groupType: ExplanatoryAssertionGroupType): AssertionGroup.Builder.ExplanatoryAssertionGroupBuilder