<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#VariableMapping'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceEngine'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceStep'/>
    <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'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#AbstractInferenceRule'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Variable'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#hasInferenceRule'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Term'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#rest'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#first'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#hasVariableMapping'/>
    <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#hasInferenceEngine'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#WFFContent'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#hasAntecedent'/>
    <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/IW2.daml#IW2'>
        <iw:WFFContent>
            <iw:KIF>
                <iw:Statement>(aqp::query ?earliest-starting-pt ?day1start ?latest-starting-pt ?day1end ?onedaylater ?visit ?loc)</iw:Statement>
            </iw:KIF>
        </iw:WFFContent>
        <iw:isConsequentOf rdf:parseType='daml:collection'>
            <iw:InferenceStep>
                <iw:hasInferenceRule rdf:parseType='daml:collection'>
                    <iw:AbstractInferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/GMP.daml'/>
                </iw:hasInferenceRule>
                <iw:hasInferenceEngine rdf:parseType='daml:collection'>
                    <iw:InferenceEngine rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IE/JTP.daml'/>
                </iw:hasInferenceEngine>
                <iw:hasAntecedent rdf:parseType='daml:collection'>
                    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW3.daml#IW3'/>
                    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW4.daml#IW4'/>
                    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW20.daml#IW20'/>
                    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW63.daml#IW63'/>
                    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW69.daml#IW69'/>
                    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW70.daml#IW70'/>
                    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW76.daml#IW76'/>
                    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW133.daml#IW133'/>
                </iw:hasAntecedent>
                <iw:hasVariableMapping rdf:parseType='daml:collection'>
                    <iw:VariableMapping
                         iw:Term='1'
                         iw:Variable='?unit-qty'/>
                    <iw:VariableMapping
                         iw:Variable='?latest-starting-pt'>
                        <iw:Term>Sunday-April-16-2000-7.17.00.000-PM-GMT+04:00</iw:Term>
                    </iw:VariableMapping>
                    <iw:VariableMapping
                         iw:Variable='?t1'>
                        <iw:Term>(whenfn ?visit)</iw:Term>
                    </iw:VariableMapping>
                    <iw:VariableMapping
                         iw:Variable='?onedaylater'>
                        <iw:Term>Monday-April-17-2000-7.17.00.000-PM-GMT+04:00</iw:Term>
                    </iw:VariableMapping>
                    <iw:VariableMapping
                         iw:Variable='?loc'>
                        <iw:Term>|http://reliant.teknowledge.com/DAML/CountriesAndRegions.daml#|::|Iraq|</iw:Term>
                    </iw:VariableMapping>
                    <iw:VariableMapping
                         iw:Term='?day1end'
                         iw:Variable='?tpafter'/>
                    <iw:VariableMapping
                         iw:Term='?loc'
                         iw:Variable='?x'/>
                    <iw:VariableMapping
                         iw:Variable='?visit'>
                        <iw:Term>|http://www.ksl.stanford.edu/projects/Aquaint/TonyHall.daml#|::|TonyHallMeetsAmalAbassAndHerSon|</iw:Term>
                    </iw:VariableMapping>
                    <iw:VariableMapping
                         iw:Variable='?day1start'>
                        <iw:Term>Monday-April-17-2000-12.00.00.000-AM-GMT+04:00</iw:Term>
                    </iw:VariableMapping>
                    <iw:VariableMapping
                         iw:Term='?day1start'
                         iw:Variable='?tp'/>
                    <iw:VariableMapping
                         iw:Variable='?earliest-starting-pt'>
                        <iw:Term>Sunday-April-16-2000-7.17.00.000-PM-GMT+04:00</iw:Term>
                    </iw:VariableMapping>
                    <iw:VariableMapping
                         iw:Term='day'
                         iw:Variable='?unit'/>
                    <iw:VariableMapping
                         iw:Variable='?t2'>
                        <iw:Term>(time-interval-fn ?day1start ?day1end)</iw:Term>
                    </iw:VariableMapping>
                    <iw:VariableMapping
                         iw:Variable='?day1end'>
                        <iw:Term>Tuesday-April-18-2000-12.00.00.000-AM-GMT+04:00</iw:Term>
                    </iw:VariableMapping>
                    <iw:VariableMapping
                         iw:Term='86400000'
                         iw:Variable='?qty'/>
                </iw:hasVariableMapping>
            </iw:InferenceStep>
        </iw:isConsequentOf>
    </iw:WFF>
</rdf:RDF>