Text: When they came ashore they found the A-Ma Temple (properly called Ma Kok Temple; open daily dawn to dusk), dedicated to the favorite goddess of fishermen, who is also known as Tin Hau.
Entailment: They discovered a temple dedicated to Tin Hau, goddess of fishermen.
Contradiction: They came ashore to find a temple dedicated to the Ox King, protector of warriors.