car ferry subgroup of ferry, 1 assertions