Input (grade 10): The British Royal Navy is commonly referred to as the "Royal Navy" both in the United Kingdom and other countries.
Output (grade 4): The Royal Navy is the navy of the United Kingdom.