משפט 1: המנוף שימש כדי להוריד את המשאיות ולהשיק את הספינה לאחר השלמתו, בסך הכל מעל 2000 מעליות בשלוש שנים. משפט 2: המנוף שימש כדי לפרוק את המשאיות ולשיגור את הספינה לאחר השלמתו, בסך הכל מעל 2000 מעליות בשלושה שנים. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.