Assertion list for term "wake up with headache".

Results from Ascent++: 1
alloy CapableOfwake up with headache 0.16