EMO:How EMO models SFT constraints

<math display = 'block'>

 <mrow>
   <mi>A</mi>
   <msub>
     <mi>F</mi>
     <mi>M</mi>
   </msub>
 </mrow>

</math>