Rule schema inference rule concrete rule instance of an

An parameterized inference rules with Metavariables that can be instantiated to Concrete rules or Inference rules.