<apply> <max/> <condition> <apply><and/> <apply><in/> <ci>x</ci> <ci type="set">B</ci> </apply> <apply><notin/> <ci>x</ci> <ci type="set">C</ci> </apply> </apply> </condition> <ci>x</ci> </apply>