<?xml version='1.0'?>
<rdf:RDF
    xmlns:fopl='http://www.ksl.stanford.edu/software/IW/spec/fopl.daml#'
    xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
    xmlns:iw='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#'
    xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
    xmlns:daml='http://www.daml.org/2001/03/daml+oil#'>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceRule'/>
    <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/fopl.daml#AtomicFormula'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Constant'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/fopl.daml#Variable'/>
    <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/fopl.daml#Negated-Predicate-Of-Terms'/>
    <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#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#hasAntecedent'/>
    <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#hasInferenceEngine'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/fopl.daml#hasArgumentList'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#rest'/>
    <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/fopl.daml#SymbolName'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#first'/>
    <iw:WFF>
        <iw:WFFContent>
            <daml:List rdf:about='http://www.ksl.stanford.edu/software/IW/spec/fopl.daml#Clause'>
                <daml:first>
                    <fopl:Negated-Predicate-Of-Terms
                         fopl:SymbolName='holds'>
                        <fopl:hasArgumentList rdf:parseType='daml:collection'>
                            <iw:Constant>
                                <fopl:SymbolName>|http://www.w3.org/1999/02/22-rdf-syntax-ns#|::type</fopl:SymbolName>
                            </iw:Constant>
                            <fopl:Variable
                                 fopl:SymbolName='inst'/>
                            <iw:Constant>
                                <fopl:SymbolName>|http://www.ksl.stanford.edu/DAML/query-answer/wines-short2.daml#|::|CRAB|</fopl:SymbolName>
                            </iw:Constant>
                        </fopl:hasArgumentList>
                    </fopl:Negated-Predicate-Of-Terms>
                </daml:first>
                <daml:rest rdf:parseType='daml:collection'>
                    <fopl:AtomicFormula
                         fopl:SymbolName='holds'>
                        <fopl:hasArgumentList rdf:parseType='daml:collection'>
                            <iw:Constant>
                                <fopl:SymbolName>|http://www.w3.org/1999/02/22-rdf-syntax-ns#|::type</fopl:SymbolName>
                            </iw:Constant>
                            <fopl:Variable
                                 fopl:SymbolName='inst'/>
                            <iw:Constant>
                                <fopl:SymbolName>|http://www.ksl.stanford.edu/DAML/query-answer/wines-short2.daml#|::|SEAFOOD|</fopl:SymbolName>
                            </iw:Constant>
                        </fopl:hasArgumentList>
                    </fopl:AtomicFormula>
                </daml:rest>
            </daml:List>
        </iw:WFFContent>
        <iw:isConsequentOf rdf:parseType='daml:collection'>
            <iw:InferenceStep>
                <iw:hasInferenceRule rdf:parseType='daml:collection'>
                    <iw:InferenceRule 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/sample/IW3.daml'/>
                    <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/sample/IW4.daml'/>
                </iw:hasAntecedent>
                <iw:hasVariableMapping
                     rdf:type='http://www.daml.org/2001/03/daml+oil#List'/>
            </iw:InferenceStep>
        </iw:isConsequentOf>
    </iw:WFF>
</rdf:RDF>
