<?xml version="1.0"?>
<Constructors>
 <Signature>
  <ArticleID name="HIDDEN"/>
 </Signature>
 <ConstrCounts>
  <ConstrCount kind="R" nr="2"/>
  <ConstrCount kind="K" nr="4"/>
 </ConstrCounts>
 <Constructor kind="R" nr="1" aid="TARSKI" relnr="3">
  <Properties propertyarg1="1" propertyarg2="2">
   <Reflexivity/>
  </Properties>
  <ArgTypes>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
  </ArgTypes>
 </Constructor>
 <Constructor kind="R" nr="2" aid="TARSKI" relnr="4">
  <ArgTypes>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
  </ArgTypes>
 </Constructor>
 <Constructor kind="K" nr="1" aid="TARSKI" relnr="1">
  <ArgTypes>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
  </ArgTypes>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
 </Constructor>
 <Constructor kind="K" nr="2" aid="TARSKI" relnr="2">
  <Properties propertyarg1="1" propertyarg2="2">
   <Commutativity/>
  </Properties>
  <ArgTypes>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
  </ArgTypes>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
 </Constructor>
 <Constructor kind="K" nr="3" aid="TARSKI" relnr="3">
  <ArgTypes>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
  </ArgTypes>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
 </Constructor>
 <Constructor kind="K" nr="4" aid="TARSKI" relnr="4">
  <ArgTypes>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
   <Typ kind="M" nr="1">
    <Cluster/>
   </Typ>
  </ArgTypes>
  <Typ kind="M" nr="1">
   <Cluster/>
  </Typ>
 </Constructor>
</Constructors>
