Assertion list for term "sail to patmos".

Results from Ascent++: 1
ferry CapableOfsail to patmos 0.35