Premise: The proposal was embodied in legislative form as the Clear Skies Act, which was introduced in the House of Representatives as H.R.5266 and in the Senate as S.2815 in July 2002.

Hypothesis: The 2002 Clear Skies Act was the embodiment of the proposal.
Relation: entailment