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