<?xml version="1.0" encoding="UTF-8"?>
<!--
  ****************************************************************
ERmodel_v1.2/instances/catalogue/src/conceptualModels/2RegularHypergraph.xml 
****************************************************************

Copyright 2016, 2107 Cyprotex Discovery Ltd.

This file is part of the the ERmodel suite of models and transforms.

The ERmodel suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

ERmodel suite is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.
****************************************************************
-->
<entity_model xmlns="http://www.entitymodelling.org/ERmodel">
  <presentation>
      <diagram>
         <deltaw>0.4</deltaw>
         <deltah>0.2</deltah>
      </diagram>
  </presentation>
   <entity_type>
      <name>$A_1$</name>
      <presentation>
          <x>0.2</x>
          
      </presentation>
      <composition>
         <name>$p_1^{-1}$</name>
         <type>P</type>
         <cardinality>OneOrMore</cardinality>
         <inverse>$p_1$</inverse>
         <diagram>
            <path>
               <label>
                   <position>Right</position>
                   <name>NoSplit</name>
               </label>
               <inverse>
                 <label>
                     <position>Left</position>
                     <xAdjustment>-0.1</xAdjustment>
                     <name>NoSplit</name>
                 </label>
               </inverse>
            </path>
         </diagram>
      </composition>
      <reference>
         <name>f</name>
         <type>B</type>
         <cardinality>ExactlyOne</cardinality>
         <inverse>$f^{-1}$</inverse>
         <diagram>
            <path>
              <label>
                 <position>Upside</position>
                 <xAdjustment>0.2</xAdjustment>
                   <name>NoSplit</name>
              </label>
              <inverse>
                 <label>
                    <position>Downside</position>
                     <name>NoSplit</name>
                 </label>
              </inverse>
            </path>
         </diagram>
      </reference>
   </entity_type>
   <entity_type>
      <name>B</name>
      <presentation>
          <rightOf>$A_1$</rightOf> 
         <x>2.5</x>
          
      </presentation>
      <composition>
         <name>$g^{-1}$</name>
         <type>$A_2$</type>
         <cardinality>ZeroOneOrMore</cardinality>
         <inverse>g</inverse>
         <diagram>
            <path>
               <label>
                   <position>Left</position>
                     <name>NoSplit</name>
                   
               </label>
               <inverse>
                 <label>
                 </label>
               </inverse>
            </path>
         </diagram>
      </composition>
      <reference>
         <name>$f^{-1}$</name>
         <type>$A_1$</type>
         <cardinality>ZeroOneOrMore</cardinality>
         <inverse>f</inverse>
      </reference>
   </entity_type>
   <entity_type>
      <name>P</name>
      <presentation>
           <below>$A_1$</below>
           <shape>BottomLeft</shape>
           <y>1.0</y>
      </presentation>
      <dependency>
          <name>$p_1$</name>
          <type>$A_1$</type>
          <cardinality>ZeroOrOne</cardinality>
          <inverse_of>$p_1^{-1}$</inverse_of>
      </dependency>
      <reference>
         <name>$p_2$</name>
         <type>$A_2$</type>
         <cardinality>ExactlyOne</cardinality>
         <inverse>$p_2^{-1}$</inverse>
         <diagram>
            <path>
              <label>
                     <name>NoSplit</name>
                 
              </label>
              <inverse>
                 <label>
                     <name>NoSplit</name>
                 </label>
              </inverse>
            </path>
         </diagram>
      </reference>
   </entity_type>
   <entity_type>
      <name>$A_2$</name>
      <presentation>
            <rightOf>P</rightOf>
         <below>B</below>
            
      </presentation>
      <dependency>
         <name>g</name>
         <type>B</type>
         <cardinality>ExactlyOne</cardinality>
         <inverse_of>g</inverse_of>
      </dependency>
      <reference>
         <name>$p_2^{-1}$</name>
         <type>P</type>
         <inverse>$p_2$</inverse>
      </reference>
   </entity_type>
</entity_model>
