fixing #3891 (ordered distributions provided by portal/description//DistributionTree randomly broken) also related to #965 (Return type of partOf, kindOf etc. has to be decided)
fixing #3891 (ordered distributions provided by portal/description//DistributionTree randomly broken) also related to #965 (Return type of partOf, kindOf etc. has to be decided)