An information representation format and inference system.