EMO:How EMO models SFT constraints

<math display = 'block'>

 <mrow>
   <mi>A</mi>
   <msub>
     <mi>F</mi>
     <mi>M</mi>
   </msub>
   <mo>+</mo>
   <mi>B</mi>
   <msub>
     <mi>F</mi>
     <mi>C</mi>
   </msub>
   <mo lspace='3px' rspace='3px'>≤</mo>
   <mi>C</mi>
 </mrow>

</math>