ConceptRule schemeModified just nowProperties 4Hide BooksChapter 2. Inductive definitions JourneyProgramming Language Theory Statusreviewing Tagslogicset-theory-relationSynonymous with Rule schema. Previous in ConceptsRule schema inference rule concrete rule instance of anNext in Concepts Rule scheme inference rule metavariable