Assertion: algorithm's input | /r/HasProperty | a list of k lists
Facets:
Source sentences:
text: Input: a list of k lists.