Premise: The statutory provision is implemented in the corporation's alien eligibility rule.

Hypothesis: The corporation does not have a rule regarding alien eligibility.
Relation: contradiction