Translations:The logic of probabilistic language/95/en

where with the symbolism it indicates that the subclass is contained in