Assertion list for term "partitioned into disjoint subsets".
Results from Ascent++: 1
observation → ReceivesAction → partitioned into disjoint subsets 0.25