Definition of MARINER.