Frequent Flyer Ruleを示しています。 「IF」領域にはFrequent_Flyer.total_miles > 100000があり、「THEN」領域にはmodify FREQUENT_Flyer(status:"GOLD")があります。