Lanais afford views of the Diamond Head end of Waikiki Beach.
Lanais provides views of the mountains in Colorado Springs.
mnli hypothesis: Lanais provides views of the mountains in Colorado Springs. premise: Lanais afford views of the Diamond Head end of Waikiki Beach.