<?xml version="1.0" encoding="UTF-8"?>
<definitions>
  <definition name="__aux_2" arg="charles"/>
  <definition name="__aux_3" arg="X" cond="not_richer (X,agatha)"/>
  <definition name="__aux_4" arg="butler"/>
</definitions>
<states>
  <state name="__aux_2">
    <satisfies name="in_mansion"/>
    <satisfies name="__aux_2"/>
  </state>
  <state name="__aux_3">
    <satisfies name="in_mansion"/>
    <satisfies name="__aux_3"/>
  </state>
  <state name="__aux_4">
    <satisfies name="in_mansion"/>
    <satisfies name="__aux_4"/>
  </state>
  <state name="not_richer">
    <satisfies name="not_richer"/>
  </state>
  <state name="killed">
    <satisfies name="killed"/>
  </state>
  <state name="hates">
    <satisfies name="hates"/>
  </state>
  <state name="__all"/>
</states>
<tables>
  <table name="agatha" arity="0">
    <entry result="__aux_3"></entry>
  </table>
  <table name="butler" arity="0">
    <entry result="__aux_4"></entry>
  </table>
  <table name="charles" arity="0">
    <entry result="__aux_2"></entry>
  </table>
  <table name="#not_richer" arity="2">
    <entry result="not_richer"><arg name="__aux_3"/><arg name="__aux_3"/></entry>
  </table>
  <table name="#killed" arity="2">
    <entry result="killed"><arg name="__aux_3"/><arg name="__aux_3"/></entry>
  </table>
  <table name="#hates" arity="2">
    <entry result="hates"><arg name="__aux_4"/><arg name="__aux_2"/></entry>
    <entry result="hates"><arg name="__aux_3"/><arg name="__aux_3"/></entry>
    <entry result="hates"><arg name="__aux_4"/><arg name="__aux_3"/></entry>
    <entry result="hates"><arg name="__aux_3"/><arg name="__aux_2"/></entry>
  </table>
</tables>
