Assertion: graph's number | /r/HasProperty | the least k such
Facets:
Source sentences:
text: The "lucky number" of G is the least k such that G has a lucky labelling with the integers {1, …, k}.