Assertion list for term "three berths".

Results from Ascent++: 1
port HasAthree berths 0.28