number pi.betrag; 

formula my_rule () := {}
pi.betrag > 5000;