<rdf:RDF
    xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
    xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
    xmlns:daml='http://www.daml.org/2001/03/daml+oil#'
    xmlns:iw='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#'>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#KIF'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#WFF'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#isConsequentOf'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#WFFContent'/>
    <daml:DatatypeProperty rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Statement'/>
    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW3.daml#IW3'>
        <iw:WFFContent>
            <iw:KIF>
                <iw:Statement>(or (aqp::query ?earliest-starting-pt ?day1start ?latest-starting-pt ?day1end ?onedaylater ?visit ?loc) (not (|http://reliant.teknowledge.com/DAML/SUMO.daml#|::|subProcess| ?visit |http://www.ksl.stanford.edu/projects/Aquaint/TonyHall.daml#|::|TonyHallVisitsIraq|)) (not (location-of (starting-point (whenfn |http://www.ksl.stanford.edu/projects/Aquaint/TonyHall.daml#|::|TonyHallVisitsIraq|)) ?earliest-starting-pt ?latest-starting-pt)) (not (time-point-after ?earliest-starting-pt day 1 ?onedaylater)) (not (first-time-point ?onedaylater day ?day1start)) (not (time-point-after ?day1start day 1 ?day1end)) (not (during (whenfn ?visit) (time-interval-fn ?day1start ?day1end))) (not (|http://reliant.teknowledge.com/DAML/SUMO.daml#|::located ?visit ?loc)))</iw:Statement>
            </iw:KIF>
        </iw:WFFContent>
        <iw:isConsequentOf
             rdf:type='http://www.daml.org/2001/03/daml+oil#List'/>
    </iw:WFF>
</rdf:RDF>