Display:

x R

Source:


<condition>
     <apply>
          <in/>
          <ci> x </ci>
          <ci type="set"> R </ci>
     </apply>
</condition>