Inference Logic – I3

This class belongs to an ongoing namespace that is only visible to members of the CRMinf project.