def prover9_input(self, goal, assumptions):
        s = ''

        if assumptions:
            s += 'formulas(assumptions).\n'
            for p9_assumption in convert_to_prover9(assumptions):
                s += '    %s.\n' % p9_assumption
            s += 'end_of_list.\n\n'

        if goal:
            s += 'formulas(goals).\n'
            s += '    %s.\n' % convert_to_prover9(goal)
            s += 'end_of_list.\n\n'

        return s
Returns True if the user is a .reseller_admin.
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9Parent.prover9_input--crossover with--dataset/ETHPy150Open openstack/swauth/swauth/middleware.py/Swauth.is_user_reseller_admin