Assertion list for term "cover external decks".

Results from Ascent++: 1
tent CapableOfcover external decks 0.41