S

SubCIC

Ordered syntactic models of CIC