Premise: It therefore should be recognized as nonexchange revenue by the Harbor Maintenance trust fund.

Hypothesis: It shouldn't be recognized as nonexchange revenue
Relation: contradiction