Shows the Frequent Flyer Rule. IF area contains Frequent_Flyer.total_miles > 100000. THEN area contains modify FREQUENT_Flyer(status:"GOLD").