CiL Mi Main Page Participant's Guide Cases Examples Codes Fact Primitives Actor & Object Types Time Qualifiers