Assertion list for term "mate with pirs".

Results from Ascent++: 1
spacecraft CapableOfmate with pirs 0.25