SZS status Theorem for i/f/DeepSyntax/in__bset_c11
