<?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:daml='http://www.daml.org/2001/03/daml+oil#'
    xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
    <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/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: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/fopl.daml#SymbolName'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#first'/>
    <iw:WFF>
        <iw:WFFContent>
            <fopl:AtomicFormula
                 fopl:SymbolName='DRINK'>
                <fopl:hasArgumentList rdf:parseType='daml:collection'>
                    <iw:Constant>
                        <fopl:SymbolName>|file:/ksl/u5/ehsu/wine/onts/wines.daml#|::|NEW-COURSE12|</fopl:SymbolName>
                    </iw:Constant>
                    <iw:Constant>
                        <fopl:SymbolName>|file:/ksl/u5/ehsu/wine/onts/wines.daml#|::|WINE12|</fopl:SymbolName>
                    </iw:Constant>
                </fopl:hasArgumentList>
            </fopl:AtomicFormula>
        </iw:WFFContent>
        <iw:isConsequentOf
             rdf:type='http://www.daml.org/2001/03/daml+oil#List'/>
    </iw:WFF>
</rdf:RDF>
