premise: Coextensive with the metropolitan district of Jakarta Raya, it lies at the mouth of the Ciliwung ( Liwung River ) on the northwest coast of Java.
hypothesis: Jakarta lies at the mouth of the Ciliwung ( Liwung River ) on the northwest coast of the island of Java.