However…

• Even this model does not completely work

• The gap between production rules and “traditional” logic systems seems to be large

• A hierarchy of cores may be necessary:

• • a Basic Logic Dialect and Production Rule Dialect as “cores” for families of languages
  • a common RIF Core binding these two