Assertion list for term "at least one formal night".

Results from Ascent++: 1
cruise HasAat least one formal night 0.46