Inference Method Frame MD3

This has been documented in category Frames MD3.

See the complete description of this inference method.

A variable with this inference method plays a very important role in a special table: a list recursion table.