Assertion: problem's solution | /r/HasProperty | set such that |s'| |s|
Facets:
value: in the case
type: TEMPORAL
Source sentences:
text: The activity selection problem consists in finding the maximal solution set (S) of non-conflicting activities, or more precisely there must exist no solution set S' such that |S'| > |S| in the case that multiple maximal solutions have equal sizes.