<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:ca022d5c-fd0b-471c-8b4e-a0e11d3675f8(samples.fitch.firstOrderLogic.constraints)">
  <persistence version="9" />
  <languages>
    <use id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints" version="6" />
    <devkit ref="00000000-0000-4000-0000-5604ebd4f22c(jetbrains.mps.devkit.aspect.constraints)" />
  </languages>
  <imports />
  <registry />
</model>

