IXCSC has been recorded for convenient reference in f-structure as a complex feature. Where IXCSC carries a positive marking in f-structure, ASPECT must also carry a positive marking if the sentence is to be interpreted.