C f
<apply> Â Â Â Â Â <int/> Â Â Â Â Â <domainofapplication> Â Â Â Â Â Â Â Â Â Â <ci> C </ci> Â Â Â Â Â </domainofapplication> Â Â Â Â Â <ci> f </ci> </apply>