SEKT 3.4.1 PION Testbed (on localhost)

<?xml version="1.0" encoding="ISO-8859-1"?>
<tells xmlns="http://dl.kr.org/dig/lang"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://dl-web.man.ac.uk/dig/2003/02/dig.xsd">
    <clearKB/>
    <defconcept name="bird"/>
    <defconcept name="animal"/>
    <defconcept name="fly"/>
    <defconcept name="eagle"/>
    <defconcept name="penguin"/>
    <impliesc>
        <catom name="bird"/> 
        <catom name="animal"/>
    </impliesc>
    <impliesc>
        <catom name="bird"/>
        <catom name="fly"/>
    </impliesc>
	<impliesc>
        <catom name="eagle"/>
        <catom name="bird"/>
    </impliesc>
   <impliesc>
        <catom name="penguin"/>
        <catom name="bird"/>
    </impliesc>
<impliesc>
        <catom name="penguin"/>
        <not><catom name="fly"/></not>
    </impliesc>

<?xml version="1.0" encoding="ISO-8859-1" ?>
<asks xmlns="http://dl.kr.org/dig/lang" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://dl-web.man.ac.uk/dig/2003/02/dig.xsd">
<instance id="tweety fly">
<individual name="tweety"/>
<catom name="fly"/></instance>
<instance id="fred fly">
<individual name="fred"/>
<catom name="fly"/></instance>
<satisfiable id="satisfiable fly"><catom name="fly"
/></satisfiable>
<instance id="tweety not fly">
<individual name="tweety"/>
<not><catom name="fly"/></not></instance>
<instance id="fred not fly">
<individual name="fred"/>
<not><catom name="fly"/></not></instance>
<satisfiable id="satisfiable penguin"><catom name="penguin"
/></satisfiable>
<satisfiable id="satisfiable penguin and fly"><and><catom name="penguin"/><catom name="fly"
/></and></satisfiable>
<instance id="tweety bird">
<individual name="tweety"/>
<catom name="bird"/></instance>
<instance id="fred bird">
<individual name="fred"/>
<catom name="bird"/></instance>
</asks>

Select Strategy: