<?xml version='1.0'?>
<rdf:RDF
    xmlns:fopl='http://www.ksl.stanford.edu/software/IW/spec/fopl.daml#'
    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:rdfs='http://www.w3.org/2000/01/rdf-schema#'
    xmlns:daml='http://www.daml.org/2001/03/daml+oil#'>
    <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/iw.daml#InferenceApp'/>
    <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/fopl.daml#Negated-Predicate-Of-Terms'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Axiom'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/fopl.daml#AtomicFormula'/>
    <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#InferenceAppVariableMapping'/>
    <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#rest'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/fopl.daml#hasArgumentList'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#hasGoal'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#GoalContent'/>
    <daml:List/>
    <iw:InferenceApp>
        <iw:hasGoal>
            <iw:Axiom>
                <iw:GoalContent>
                    <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='hasValue'/>
                                    <fopl:Variable
                                         fopl:SymbolName='?restr'/>
                                    <fopl:Variable
                                         fopl:SymbolName='?val'/>
                                </fopl:hasArgumentList>
                            </fopl:Negated-Predicate-Of-Terms>
                        </daml:first>
                        <daml:rest rdf:parseType='daml:collection'>
                            <fopl:Negated-Predicate-Of-Terms
                                 fopl:SymbolName='holds'>
                                <fopl:hasArgumentList rdf:parseType='daml:collection'>
                                    <iw:Constant
                                         fopl:SymbolName='type'/>
                                    <fopl:Variable
                                         fopl:SymbolName='?obj'/>
                                    <fopl:Variable
                                         fopl:SymbolName='?restr'/>
                                </fopl:hasArgumentList>
                            </fopl:Negated-Predicate-Of-Terms>
                            <fopl:Negated-Predicate-Of-Terms
                                 fopl:SymbolName='holds'>
                                <fopl:hasArgumentList rdf:parseType='daml:collection'>
                                    <iw:Constant
                                         fopl:SymbolName='onProperty'/>
                                    <fopl:Variable
                                         fopl:SymbolName='?restr'/>
                                    <fopl:Variable
                                         fopl:SymbolName='?prop'/>
                                </fopl:hasArgumentList>
                            </fopl:Negated-Predicate-Of-Terms>
                            <fopl:AtomicFormula
                                 fopl:SymbolName='holds'>
                                <fopl:hasArgumentList rdf:parseType='daml:collection'>
                                    <fopl:Variable
                                         fopl:SymbolName='?prop'/>
                                    <fopl:Variable
                                         fopl:SymbolName='?obj'/>
                                    <fopl:Variable
                                         fopl:SymbolName='?val'/>
                                </fopl:hasArgumentList>
                            </fopl:AtomicFormula>
                        </daml:rest>
                    </daml:List>
                </iw:GoalContent>
            </iw:Axiom>
        </iw:hasGoal>
    </iw:InferenceApp>
</rdf:RDF>
