<?xml version="1.0" encoding="UTF-8"?>
<java version="1.8.0" class="java.beans.XMLDecoder">
 <int>3</int>
 <string>&lt;p&gt; a) RainsOn(a) &lt;br&gt; &lt;br&gt;b) RainsOn(b) &lt;br&gt;&lt;br&gt;c) ~RainsOn(b) &lt;br&gt;&lt;br&gt;d) Wet(a) &lt;br&gt;&lt;br&gt; e) Wet(b) &lt;br&gt;&lt;br&gt;f) ~Wet(b) &lt;br&gt;&lt;br&gt; g) RainsOn(a)&amp;amp;Wet(a) &lt;br&gt;&lt;br&gt; h) RainsOn(b)∨Wet(b) &lt;br&gt;&lt;br&gt; i) RainsOn(a)→Wet(a) &lt;br&gt;&lt;br&gt; j) RainsOn(b)→Wet(b) &lt;br&gt;&lt;br&gt; k) RainsOn(a)≡Wet(a) &lt;br&gt;&lt;br&gt; l) RainsOn(b)≡Wet(b) &lt;/p&gt;</string>
 <object class="java.util.ArrayList">
  <void method="add">
   <object class="us.softoption.interpretation.TProperty">
    <void property="XCoord"><int>60</int></void>
    <void property="YCoord"><int>160</int></void>
    <void property="boundsRect"><object class="java.awt.Rectangle"><int>60</int><int>160</int><int>90</int><int>90</int></object></void>
    <void property="color"><object class="java.awt.Color"><int>255</int><int>0</int><int>0</int><int>255</int></object></void>
    <void property="name"><char>R</char></void>
    <void property="selected"><boolean>false</boolean></void>
   </object>
  </void>
  <void method="add">
   <object class="us.softoption.interpretation.TProperty">
    <void property="XCoord"><int>60</int></void>
    <void property="YCoord"><int>150</int></void>
    <void property="boundsRect"><object class="java.awt.Rectangle"><int>60</int><int>150</int><int>250</int><int>110</int></object></void>
    <void property="color"><object class="java.awt.Color"><int>0</int><int>191</int><int>255</int><int>255</int></object></void>
    <void property="name"><char>W</char></void>
    <void property="selected"><boolean>false</boolean></void>
   </object>
  </void>
  <void method="add">
   <object class="us.softoption.interpretation.TIndividual">
    <void property="XCoord"><int>98</int></void>
    <void property="YCoord"><int>197</int></void>
    <void property="name"><char>a</char></void>
    <void property="selected"><boolean>false</boolean></void>
   </object>
  </void>
  <void method="add">
   <object class="us.softoption.interpretation.TIndividual">
    <void property="XCoord"><int>267</int></void>
    <void property="YCoord"><int>197</int></void>
    <void property="name"><char>b</char></void>
    <void property="selected"><boolean>false</boolean></void>
   </object>
  </void>
  <void method="add">
   <object class="us.softoption.interpretation.TInterpretationBoard">
    <void property="boundsRect"><object class="java.awt.Rectangle"><int>5</int><int>0</int><int>150</int><int>50</int></object></void>
    <void property="semantics"><object class="us.softoption.interpretation.TSemantics"/></void>
   </object>
  </void>
 </object>
 <object class="us.softoption.proofs.TProofTableModel">
  <void property="head">
   <void method="add">
    <object class="us.softoption.proofs.TProofline">
     <void property="blankline">
      <boolean>true</boolean>
     </void>
     <void property="headlevel">
      <int>-1</int>
     </void>
     <void property="lastAssumption">
      <boolean>true</boolean>
     </void>
     <void property="parser">
      <object class="us.softoption.parser.TDefaultParser"/>
     </void>
     <void property="selectable">
      <boolean>false</boolean>
     </void>
     <void property="subprooflevel">
      <int>-1</int>
     </void>
    </object>
   </void>
  </void>
  <void property="tail">
  </void>
 </object>
 <object class="us.softoption.tree.TTreeTableModel"/>
 <object class="us.softoption.editor.TDocState"/>
</java>
