(although maybe confusing, since in an

@rule

body they must mention the subject type.)