analiza osiągalnych definicji