O secţiune numită de o regulă care conţine una sau mai multe predicat invită să curgă în cazul în care regula se evaluează la TRUE.