13.2.4 Small clauses (IP-SMC)