['entailment']
Local people will direct you to the castle, which they never call by that name.
המקומיים יכוונו אתכם לטירה, שלעולם אינם מכנים בשם זה.
The locals do not use the official name for the castle.
המקומיים אינם משתמשים בשם הרשמי של הטירה.