<?xml version="1.0"?>
<Definientia>
 <Signature>
  <ArticleID name="HIDDEN"/>
  <ArticleID name="TARSKI"/>
 </Signature>
 <Definiens constrkind="K" constrnr="1" aid="TARSKI" defnr="1">
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Essentials>
   <Int x="1"/>
   <Int x="2"/>
  </Essentials>
  <DefMeaning kind="m">
   <For>
    <Typ kind="M" nr="1">
     <Cluster/>
    </Typ>
    <And>
     <Not>
      <And>
       <Pred kind="R" nr="2">
        <Var nr="1"/>
        <LocusVar nr="2"/>
       </Pred>
       <Not>
        <Pred kind="R" nr="1">
         <Var nr="1"/>
         <LocusVar nr="1"/>
        </Pred>
       </Not>
      </And>
     </Not>
     <Not>
      <And>
       <Pred kind="R" nr="1">
        <Var nr="1"/>
        <LocusVar nr="1"/>
       </Pred>
       <Not>
        <Pred kind="R" nr="2">
         <Var nr="1"/>
         <LocusVar nr="2"/>
        </Pred>
       </Not>
      </And>
     </Not>
    </And>
   </For>
  </DefMeaning>
 </Definiens>
 <Definiens constrkind="K" constrnr="2" aid="TARSKI" defnr="2">
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Essentials>
   <Int x="1"/>
   <Int x="2"/>
   <Int x="3"/>
  </Essentials>
  <DefMeaning kind="m">
   <For>
    <Typ kind="M" nr="1">
     <Cluster/>
    </Typ>
    <And>
     <Not>
      <And>
       <Pred kind="R" nr="2">
        <Var nr="1"/>
        <LocusVar nr="3"/>
       </Pred>
       <Not>
        <Pred kind="R" nr="1">
         <Var nr="1"/>
         <LocusVar nr="1"/>
        </Pred>
       </Not>
       <Not>
        <Pred kind="R" nr="1">
         <Var nr="1"/>
         <LocusVar nr="2"/>
        </Pred>
       </Not>
      </And>
     </Not>
     <Not>
      <And>
       <Not>
        <And>
         <Not>
          <Pred kind="R" nr="1">
           <Var nr="1"/>
           <LocusVar nr="1"/>
          </Pred>
         </Not>
         <Not>
          <Pred kind="R" nr="1">
           <Var nr="1"/>
           <LocusVar nr="2"/>
          </Pred>
         </Not>
        </And>
       </Not>
       <Not>
        <Pred kind="R" nr="2">
         <Var nr="1"/>
         <LocusVar nr="3"/>
        </Pred>
       </Not>
      </And>
     </Not>
    </And>
   </For>
  </DefMeaning>
 </Definiens>
 <Definiens constrkind="R" constrnr="3" aid="TARSKI" defnr="3">
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Essentials>
   <Int x="1"/>
   <Int x="2"/>
  </Essentials>
  <DefMeaning kind="m">
   <For>
    <Typ kind="M" nr="1">
     <Cluster/>
    </Typ>
    <Not>
     <And>
      <Pred kind="R" nr="2">
       <Var nr="1"/>
       <LocusVar nr="1"/>
      </Pred>
      <Not>
       <Pred kind="R" nr="2">
        <Var nr="1"/>
        <LocusVar nr="2"/>
       </Pred>
      </Not>
     </And>
    </Not>
   </For>
  </DefMeaning>
 </Definiens>
 <Definiens constrkind="K" constrnr="3" aid="TARSKI" defnr="4">
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Essentials>
   <Int x="1"/>
   <Int x="2"/>
  </Essentials>
  <DefMeaning kind="m">
   <For>
    <Typ kind="M" nr="1">
     <Cluster/>
    </Typ>
    <And>
     <Not>
      <And>
       <Pred kind="R" nr="2">
        <Var nr="1"/>
        <LocusVar nr="2"/>
       </Pred>
       <For>
        <Typ kind="M" nr="1">
         <Cluster/>
        </Typ>
        <Not>
         <And>
          <Pred kind="R" nr="2">
           <Var nr="1"/>
           <Var nr="2"/>
          </Pred>
          <Pred kind="R" nr="2">
           <Var nr="2"/>
           <LocusVar nr="1"/>
          </Pred>
         </And>
        </Not>
       </For>
      </And>
     </Not>
     <Not>
      <And>
       <Not>
        <For>
         <Typ kind="M" nr="1">
          <Cluster/>
         </Typ>
         <Not>
          <And>
           <Pred kind="R" nr="2">
            <Var nr="1"/>
            <Var nr="2"/>
           </Pred>
           <Pred kind="R" nr="2">
            <Var nr="2"/>
            <LocusVar nr="1"/>
           </Pred>
          </And>
         </Not>
        </For>
       </Not>
       <Not>
        <Pred kind="R" nr="2">
         <Var nr="1"/>
         <LocusVar nr="2"/>
        </Pred>
       </Not>
      </And>
     </Not>
    </And>
   </For>
  </DefMeaning>
 </Definiens>
 <Definiens constrkind="K" constrnr="4" aid="TARSKI" defnr="5">
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Essentials>
   <Int x="1"/>
   <Int x="2"/>
   <Int x="3"/>
  </Essentials>
  <DefMeaning kind="e">
   <Func kind="K" nr="2">
    <Func kind="K" nr="2">
     <LocusVar nr="1"/>
     <LocusVar nr="2"/>
    </Func>
    <Func kind="K" nr="1">
     <LocusVar nr="1"/>
    </Func>
   </Func>
  </DefMeaning>
 </Definiens>
 <Definiens constrkind="R" constrnr="4" aid="TARSKI" defnr="6">
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
  <Essentials>
   <Int x="1"/>
   <Int x="2"/>
  </Essentials>
  <DefMeaning kind="m">
   <Not>
    <For>
     <Typ kind="M" nr="1">
      <Cluster/>
     </Typ>
     <Not>
      <And>
       <For>
        <Typ kind="M" nr="1">
         <Cluster/>
        </Typ>
        <Not>
         <And>
          <Pred kind="R" nr="2">
           <Var nr="2"/>
           <LocusVar nr="1"/>
          </Pred>
          <For>
           <Typ kind="M" nr="1">
            <Cluster/>
           </Typ>
           <Not>
            <And>
             <Pred kind="R" nr="2">
              <Var nr="3"/>
              <LocusVar nr="2"/>
             </Pred>
             <Pred kind="R" nr="2">
              <Func kind="K" nr="4">
               <Var nr="2"/>
               <Var nr="3"/>
              </Func>
              <Var nr="1"/>
             </Pred>
            </And>
           </Not>
          </For>
         </And>
        </Not>
       </For>
       <For>
        <Typ kind="M" nr="1">
         <Cluster/>
        </Typ>
        <Not>
         <And>
          <Pred kind="R" nr="2">
           <Var nr="2"/>
           <LocusVar nr="2"/>
          </Pred>
          <For>
           <Typ kind="M" nr="1">
            <Cluster/>
           </Typ>
           <Not>
            <And>
             <Pred kind="R" nr="2">
              <Var nr="3"/>
              <LocusVar nr="1"/>
             </Pred>
             <Pred kind="R" nr="2">
              <Func kind="K" nr="4">
               <Var nr="3"/>
               <Var nr="2"/>
              </Func>
              <Var nr="1"/>
             </Pred>
            </And>
           </Not>
          </For>
         </And>
        </Not>
       </For>
       <For>
        <Typ kind="M" nr="1">
         <Cluster/>
        </Typ>
        <For>
         <Typ kind="M" nr="1">
          <Cluster/>
         </Typ>
         <For>
          <Typ kind="M" nr="1">
           <Cluster/>
          </Typ>
          <For>
           <Typ kind="M" nr="1">
            <Cluster/>
           </Typ>
           <Not>
            <And>
             <Pred kind="R" nr="2">
              <Func kind="K" nr="4">
               <Var nr="2"/>
               <Var nr="3"/>
              </Func>
              <Var nr="1"/>
             </Pred>
             <Pred kind="R" nr="2">
              <Func kind="K" nr="4">
               <Var nr="4"/>
               <Var nr="5"/>
              </Func>
              <Var nr="1"/>
             </Pred>
             <Not>
              <And>
               <Not>
                <And>
                 <Pred kind="R" nr="1">
                  <Var nr="2"/>
                  <Var nr="4"/>
                 </Pred>
                 <Not>
                  <Pred kind="R" nr="1">
                   <Var nr="3"/>
                   <Var nr="5"/>
                  </Pred>
                 </Not>
                </And>
               </Not>
               <Not>
                <And>
                 <Pred kind="R" nr="1">
                  <Var nr="3"/>
                  <Var nr="5"/>
                 </Pred>
                 <Not>
                  <Pred kind="R" nr="1">
                   <Var nr="2"/>
                   <Var nr="4"/>
                  </Pred>
                 </Not>
                </And>
               </Not>
              </And>
             </Not>
            </And>
           </Not>
          </For>
         </For>
        </For>
       </For>
      </And>
     </Not>
    </For>
   </Not>
  </DefMeaning>
 </Definiens>
</Definientia>
