added resolvers for simple extended infinitives