Fundamental Content Elements II


Condition
<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>