Assertion list for term "mate with rooster".

Results from Ascent++: 1
hen CapableOfmate with rooster 0.54