<?xml version="1.0"?>
<alloy>

<view>

<defaultnode hideunconnected="yes"/>

<defaultedge/>

<node>
   <type name="Hates"/>
   <type name="Int"/>
   <type name="Likes"/>
   <type name="Person"/>
   <type name="String"/>
   <type name="univ"/>
   <type name="seq/Int"/>
</node>

<node shape="Diamond" color="Green">
   <type name="Attendance"/>
</node>

<node shape="Ellipse" color="Gray">
   <type name="Event"/>
</node>

<node showlabel="no">
   <set name="$equivalence_preserves_validity_np" type="NewPerson"/>
   <set name="$equivalence_preserves_validity_p" type="Person"/>
</node>

<node style="Bold" color="Yellow">
   <type name="NewPerson"/>
</node>

<node style="Solid" shape="Diamond" color="Blue">
   <type name="Review"/>
</node>

<edge color="Blue" style="Dashed" layout="no">
   <relation name="event"> <type name="Review"/> <type name="Event"/> </relation>
</edge>

<edge color="Blue" visible="yes" layout="no" attribute="no">
   <relation name="reviewer"> <type name="Review"/> <type name="NewPerson"/> </relation>
</edge>

<edge color="Gray" style="Dashed" visible="yes" attribute="no" constraint="yes">
   <relation name="events"> <type name="Person"/> <type name="Event"/> </relation>
</edge>

<edge color="Green">
   <relation name="attendee"> <type name="Attendance"/> <type name="NewPerson"/> </relation>
</edge>

<edge color="Green" style="Dashed">
   <relation name="event"> <type name="Attendance"/> <type name="Event"/> </relation>
</edge>

<edge color="Red" attribute="no">
   <relation name="hates"> <type name="Person"/> <type name="Event"/> </relation>
   <relation name="likes"> <type name="Person"/> <type name="Event"/> </relation>
</edge>

<edge color="Yellow" style="Dotted" layout="no" attribute="no" label="">
   <relation name="person"> <type name="NewPerson"/> <type name="Person"/> </relation>
</edge>

</view>

</alloy>
