are obtained with the help of argumentations based on compactness