<?xml version="1.0" encoding="UTF-8"?>

<tells xmlns="http://dl.kr.org/dig/2003/02/lang"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
    xsi:schemaLocation="http://wasp.cs.vu.nl/sekt/digtest/dig-1.1.xsd"
uri="http://aifbnike/dig/1162197520577">
    <clearKB/>
    <defconcept name="Person"/>
    <defconcept name="Employee"/>
    <defconcept name="Student"/>
    <defindividual name="Peter"/> 
   
    <impliesc>         
         <catom name="Employee"/>
         <catom name="Person"/>
    </impliesc>
    <impliesc>
        <catom name="Student"/>
        <catom name="Person"/>
    </impliesc>

    <disjoint>
        <catom name="Student"/>
        <catom name="Employee"/>
    </disjoint>

    <instanceof>
        <individual name="Peter"/>
        <catom name="Employee"/>     
    </instanceof>
    <instanceof>
        <individual name="Peter"/>
        <catom name="Student"/>     
    </instanceof>

</tells>