description

A description of the additional Inference specification