[Flora-commits] flora-testsuite/general_tests guizhen_old, NONE, 1.1 guizhen.flr, NONE, 1.1

Update of /cvsroot/flora/flora-testsuite/general_tests
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv814/general_tests

Added Files:
	guizhen_old guizhen.flr 
Log Message:
new tests


--- NEW FILE: guizhen.flr ---
?- flOptimize(class_expressions).

?- debug[%ignore_undefcheck((?:'expr:RDQL-Condition', ?:'expr:DRS-Condition', ?:'grounding:DirectInputMessageMap', ?:'grounding:XSLTInputMessageMap', ?:'process:Split-Join', ?:'grounding:DirectOutputMessageMap', ?:'grounding:XSLTOutputMessageMap', ?:'grounding:WsdlGrounding', ?:'process:Any-Order', ?:'process:Choice', ?:'process:Sequence')@ _@)]@flora(sys).
?- debug[%ignore_undefcheck((?:'swrlb:lessThan', ?:B, ?:A, ?[?->?], ?:'expr:SPARQL-Condition', ?:'process:Split',  ?:'expr:SWRL-FOL-Condition', ?:'expr:KIF-Condition')@ _@)]@flora(sys).

?y:'grounding:WsdlAtomicProcessGrounding' :- ?y['grounding:wsdlPort' -> ?_x].
?y:'expr:Expression' :- ?_x['process:computedEffect' -> ?y].
?y:'process:Parameter' :- ?_x['process:toParam' -> ?y].
?y:'grounding:WsdlAtomicProcessGrounding' :- ?_x['grounding:hasAtomicProcessGrounding' -> ?y], ?_x:'grounding:WsdlGrounding'.
?y:'process:Parameter' :- ?y['process:parameterType' -> ?_x].
?y:'process:Binding' :- ?y['process:valueData' -> ?_x].
'a1'['food' -> 17].
?_x:'service:ServiceModel' :- (?_x:'process:AtomicProcess'; ?_x:'process:SimpleProcess'; ?_x:'process:CompositeProcess').
?_x:'list:List' :- ?_x:'process:ControlConstructList'.
?y:'grounding:WsdlMessageMap' :- ?y['grounding:wsdlMessagePart' -> ?_x].
?y:'xsd:anyURI' :- ?_x['grounding:wsdlInputMessage' -> ?y].
?y:'service:Service' :- ?_x['service:describes' -> ?y].
?y['service:presents' -> ?_x] :- ?_x['service:presentedBy' -> ?y].
?y:'service:Service' :- ?y['service:describedBy' -> ?_x].
?y:'process:Produce' :- ?y['process:producedBinding' -> ?_x].
?_x:'process:ControlConstruct' :- ?_x:'process:Perform'.
?y:'profile:Profile' :- ?y['profile:hasResult' -> ?_x].
?y:'process:Output' :- ?_x['grounding:owlsParameter' -> ?y], ?_x:'grounding:OutputMessageMap'.
?_x['process:valueSpecifier' -> ?y] :- ?_x['process:valueFunction' -> ?y].
?_x:'process:Parameter' :- ?_x:'process:Input'.
?y:'xsd:anyURI' :- ?_x['expr:refURI' -> ?y].
?y:'grounding:WsdlAtomicProcessGrounding' :- ?y['grounding:wsdlOperation' -> ?_x].
?y['process:realizes' -> ?_x] :- ?_x['process:realizedBy' -> ?y].
?y:'process:ControlConstructBag' :- ?_x['process:components' -> ?y], ?_x:'process:Choice'.
?y:'grounding:WsdlOperationRef' :- ?y['grounding:portType' -> ?_x].
?y:'process:If-Then-Else' :- ?y['process:else' -> ?_x].
?_x['expr:expressionLanguage' -> 'expr:RDQL'] :- ?_x:'expr:RDQL-Expression'.
?_x:'process:Parameter' :- ?_x:'process:Output'.
?y['service:provides' -> ?_x] :- ?_x['service:providedBy' -> ?y].
'expr:RDQL'['expr:refURI' -> "http://www.w3.org/Submission/2004/SUBM-RDQL-20040109/"].
?_x['expr:expressionLanguage' -> 'expr:DRS'] :- ?_x:'expr:DRS-Expression'.
'list:nil':'list:List'.
?y:'expr:Condition' :- ?_x['process:untilCondition' -> ?y].
?y:'expr:Condition' :- ?_x['process:hasPrecondition' -> ?y].
?y:'time:IntervalThing' :- ?_x['process:timeout' -> ?y].
?y:'xsd:anyURI' :- ?_x['process:valueType' -> ?y].
?y:'xsd:boolean' :- ?_x['process:invocable' -> ?y].
?_x['process:hasParticipant' -> ?y] :- ?_x['process:performedBy' -> ?y].
?y['service:describedBy' -> ?_x] :- ?_x['service:describes' -> ?y].
?y:'service:ServiceGrounding' :- ?_x['service:supports' -> ?y].
?y:'process:CompositeProcess' :- ?y['process:collapsesTo' -> ?_x].
?y:'service:Service' :- ?_x['service:supportedBy' -> ?y].
?_x:'process:ControlConstruct' :- ?_x:'process:Split'.
?y:'grounding:AtomicProcessGrounding' :- ?y['grounding:owlsProcess' -> ?_x].
?y:'process:AtomicProcess' :- ?_x['process:realizedBy' -> ?y].
?y:'profile:Profile' :- ?y['profile:serviceClassification' -> ?_x].
'Local_3':'process:Local'.
?y:'process:Binding' :- ?y['process:valueForm' -> ?_x].
?y:'grounding:WsdlOperationRef' :- ?y['grounding:operation' -> ?_x].
?_x['bar' -> ?y] :- ?_x['foo' -> ?y].
'myAtomicProcess1':'process:AtomicProcess'.
?y:'xsd:anyURI' :- ?_x['grounding:wsdlOutputMessage' -> ?y].
?_x:'expr:UnquotedExpression' :- ?_x:'expr:SWRL-Expression'.
?y:'process:ControlConstruct' :- ?_x['process:then' -> ?y].
?y:'xsd:anyURI' :- ?_x['grounding:wsdlVersion' -> ?y].
?y:'process:Binding' :- ?y['process:valueSource' -> ?_x].
'SWRL-Condition_5':'expr:SWRL-Condition'.
?_x['process:valueSpecifier' -> ?y] :- ?_x['process:valueType' -> ?y].
?_x:'grounding:MessageMap' :- ?_x:'grounding:InputMessageMap'.
'outOutput1'['process:parameterType' -> ':C'].
?y:'grounding:Grounding' :- ?y['grounding:hasAtomicProcessGrounding' -> ?_x].
?y['service:presentedBy' -> ?_x] :- ?_x['service:presents' -> ?y].
?_x:'owl:Thing' :- ?_x:'E'.
?y:'profile:ServiceCategory' :- ?_x['profile:serviceCategory' -> ?y].
?y:'service:ServiceProfile' :- ?y['service:presentedBy' -> ?_x].
?y['process:expandsTo' -> ?_x] :- ?_x['process:collapsesTo' -> ?y].
?_x:'service:ServiceProfile' :- ?_x:'profile:Profile'.
?_x:'grounding:AtomicProcessGrounding' :- ?_x:'grounding:WsdlAtomicProcessGrounding'.
'a1':'A'.
?y['service:describes' -> ?_x] :- ?_x['service:describedBy' -> ?y].
?y:'grounding:WsdlAtomicProcessGrounding' :- ?y['grounding:wsdlOutput' -> ?_x].
?y:'process:Repeat-Until' :- ?y['process:untilProcess' -> ?_x].
?y:'profile:Profile' :- ?y['profile:hasParameter' -> ?_x].
?_x:'D' :- ?_x:'A'.
?X['foo' -> ?Y] :- ?X:'A', ?Y:'D'.
?_x:'process:Iterate' :- ?_x:'process:Repeat-While'.
?y:'profile:Profile' :- ?y['profile:textDescription' -> ?_x].
?y:'expr:Condition' :- ?_x['profile:hasPrecondition' -> ?y].
?_x['expr:expressionData' -> ?y] :- ?_x['expr:expressionBody' -> ?y].
?y:'service:Service' :- ?_x['service:provides' -> ?y].
?y:'grounding:WsdlAtomicProcessGrounding' :- ?y['grounding:wsdlInputMessage' -> ?_x].
?y:'expr:Expression' :- ?y['expr:expressionLanguage' -> ?_x].
?_x:'expr:Condition' :- ?_x:'expr:SWRL-Condition'.
?y:'xsd:anyURI' :- ?_x['grounding:wsdlPort' -> ?y].
?y['service:supportedBy' -> ?_x] :- ?_x['service:supports' -> ?y].
?y:'rdf:XMLLiteral' :- ?_x['process:valueFunction' -> ?y].
?y:'process:Perform' :- ?y['process:hasDataFrom' -> ?_x].
?_x['process:hasParameter' -> ?y] :- ?_x['process:hasInput' -> ?y].
'Result_6':'process:Result'.
?_x:'swrl:Variable' :- ?_x:'process:Parameter'.
?y:'process:Parameter' :- ?_x['process:theVar' -> ?y].
?y['service:provides' -> ?_x] :- ?_x['service:providedBy' -> ?y].
?y:'process:Parameter' :- ?y['process:parameterValue' -> ?_x].
?_x:'process:ControlConstruct' :- ?_x:'process:Split-Join'.
?y:'process:ValueOf' :- ?_x['process:valueSource' -> ?y].
?_x:'expr:Condition' :- ?_x:'expr:SWRL-FOL-Condition'.
?y:'service:Service' :- ?_x['service:presentedBy' -> ?y].
?_x:'list:List' :- ?_x:'process:ControlConstructBag'.
?y:'process:SimpleProcess' :- ?y['process:realizedBy' -> ?_x].
?_x:'grounding:WsdlMessageMap' :- (?_x:'grounding:DirectOutputMessageMap'; ?_x:'grounding:XSLTOutputMessageMap').
?_x:'grounding:MessageMap' :- ?_x:'grounding:WsdlMessageMap'.
?y:'expr:Condition' :- ?_x['process:ifCondition' -> ?y].
?y:'process:CompositeProcess' :- ?y['process:computedEffect' -> ?_x].
?y:'process:SimpleProcess' :- ?y['process:expandsTo' -> ?_x].
'Result_6'['process:hasEffect' -> 'SWRL-Expression_7'].
?_x['foo' -> ?z] :- ?_x['foo' -> ?y], ?y['foo' -> ?z].
?y['service:presentedBy' -> ?_x] :- ?_x['service:presents' -> ?y].
?_x:'grounding:Grounding' :- ?_x:'grounding:WsdlGrounding'.
?y:'expr:QuotedExpression' :- ?y['expr:variableBinding' -> ?_x].
?_x:'grounding:InputMessageMap' :- (?_x:'grounding:DirectInputMessageMap'; ?_x:'grounding:XSLTInputMessageMap').
?y:'service:ServiceModel' :- ?y['service:describes' -> ?_x].
?y:'process:Participant' :- ?_x['process:hasParticipant' -> ?y].
?y:'process:Result' :- ?y['process:hasResultVar' -> ?_x].
?_x:'expr:SWRL-FOL-Expression' :- ?_x:'expr:SWRL-FOL-Condition'.
?y:'expr:UnquotedExpression' :- ?y['expr:expressionObject' -> ?_x].
?y:'profile:ServiceParameter' :- ?y['profile:sParameter' -> ?_x].
?y:'process:ControlConstructList' :- ?_x['list:rest' -> ?y], ?_x:'process:ControlConstructList'.
?y['barinv2' -> ?_x] :- ?_x['barinv' -> ?y].
?y:'expr:Expression' :- ?_x['process:computedPrecondition' -> ?y].
'process:TheParentPerform':'process:Perform'.
?_x:'process:Parameter' :- ?_x:'process:Local'.
?y:'expr:Condition' :- ?_x['process:inCondition' -> ?y].
?y:'C' :- ?_x['foo' -> ?y], ?_x:'A'.
?_x:'process:ControlConstruct' :- ?_x:'process:If-Then-Else'.
?y:'service:Service' :- ?y['service:presents' -> ?_x].
?y:'process:ControlConstructBag' :- ?_x['process:components' -> ?y], ?_x:'process:Any-Order'.
?_x:'expr:RDQL-Expression' :- ?_x:'expr:RDQL-Condition'.
'd1':'D'.
'expr:AlwaysTrue':'expr:Condition'.
?y['service:supports' -> ?_x] :- ?_x['service:supportedBy' -> ?y].
?y:'service:Service' :- ?y['service:providedBy' -> ?_x].
?y:'xsd:anyURI' :- ?_x['grounding:wsdlService' -> ?y].
?y:'process:CompositeProcess' :- ?y['process:invocable' -> ?_x].
'expr:KIF'['expr:refURI' -> "http://logic.stanford.edu/kif/kif.html"].
?y:'process:Perform' :- ?y['process:process' -> ?_x].
?y:'profile:ServiceCategory' :- ?y['profile:code' -> ?_x].
?y:'A' :- ?y['bar' -> ?_x].
'expr:DRS'['expr:refURI' -> "http://cs-www.cs.yale.edu/homes/dvm/daml/drsonto040520.owl"].
?y:'process:CompositeProcess' :- ?y['process:computedInput' -> ?_x].
?_x:'expr:Expression' :- ?_x:'expr:Condition'.
?y:'xsd:anyURI' :- ?_x['profile:serviceProduct' -> ?y].
?y:'process:Parameter' :- ?_x['profile:hasParameter' -> ?y].
?y:'grounding:AtomicProcessGrounding' :- ?_x['grounding:hasAtomicProcessGrounding' -> ?y].
?y:'service:ServiceGrounding' :- ?y['service:supportedBy' -> ?_x].
?_x['expr:expressionBody' -> ?y] :- ?_x['expr:expressionData' -> ?y].
?y:'expr:VariableBinding' :- ?_x['expr:variableBinding' -> ?y].
?y:'service:ServiceProfile' :- ?_x['service:presents' -> ?y].
?_x['process:hasClient' -> 'process:TheClient'] :- ?_x:'process:AtomicProcess'.
?_x['expr:expressionLanguage' -> 'expr:SPARQL'] :- ?_x:'expr:SPARQL-Expression'.
?y:'profile:Profile' :- ?y['profile:serviceParameter' -> ?_x].
?_x['profile:hasParameter' -> ?y] :- ?_x['profile:hasInput' -> ?y].
?y:'D' :- ?_x['bar' -> ?y].
'myAtomicProcess1'['process:hasPrecondition' -> 'SWRL-Condition_5'].
?_x:'expr:QuotedExpression' :- ?_x:'expr:RDQL-Expression'.
'expr:SWRL'['expr:refURI' -> "http://www.w3.org/2003/11/swrl"].
?y:'process:Repeat-While' :- ?y['process:whileCondition' -> ?_x].
'expr:KIF':'expr:LogicLanguage'.
?y:'profile:Profile' :- ?y['profile:serviceName' -> ?_x].
?y:'process:Binding' :- ?_x['process:withOutput' -> ?y].
'process:TheClient':'process:Participant'.
?_x:'expr:Condition' :- ?_x:'expr:RDQL-Condition'.
?y:'xsd:anyURI' :- ?_x['profile:serviceClassification' -> ?y].
?_x['process:hasParameter' -> ?y] :- ?_x['process:hasLocal' -> ?y].
?y['bar' -> ?_x] :- ?_x['bar' -> ?y].
?y:'expr:LogicLanguage' :- ?_x['expr:expressionLanguage' -> ?y].
?_x:'process:ControlConstruct' :- ?_x:'process:Produce'.
?y:'drs:Formula' :- ?_x['expr:expressionObject' -> ?y], ?_x:'expr:DRS-Expression'.
?y:'process:Result' :- ?y['process:withOutput' -> ?_x].
?y:'process:Output' :- ?_x['process:hasOutput' -> ?y].
?_x['process:hasParticipant' -> ?y] :- ?_x['process:hasClient' -> ?y].
?y:'swrl:AtomList' :- ?_x['expr:expressionObject' -> ?y], ?_x:'expr:SWRL-Expression'.
?y:'process:Input' :- ?_x['process:hasInput' -> ?y].
?_x:'expr:DRS-Expression' :- ?_x:'expr:DRS-Condition'.
'expr:RDQL':'expr:LogicLanguage'.
?y['process:realizes' -> ?_x] :- ?_x['process:realizedBy' -> ?y].
?_x['grounding:xsltTransformation' -> ?y] :- ?_x['grounding:xsltTransformationURI' -> ?y].
?y:'process:ControlConstruct' :- ?_x['process:else' -> ?y].
?y['process:collapsesTo' -> ?_x] :- ?_x['process:expandsTo' -> ?y].
'c1':'C'.
?_x:'process:ControlConstruct' :- ?_x:'process:Iterate'.
?_x:'expr:UnquotedExpression' :- ?_x:'expr:DRS-Expression'.
?y:'process:ControlConstruct' :- ?_x['list:first' -> ?y], ?_x:'process:ControlConstructBag'.
?y:'process:CompositeProcess' :- ?y['process:computedOutput' -> ?_x].
?y:'expr:VariableBinding' :- ?y['expr:theObject' -> ?_x].
?y:'process:ValueOf' :- ?y['process:fromProcess' -> ?_x].
?y:'process:If-Then-Else' :- ?y['process:then' -> ?_x].
?y:'process:ControlConstructBag' :- ?_x['process:components' -> ?y], ?_x:'process:Split'.
'expr:DRS':'expr:LogicLanguage'.
?y:'process:Output' :- ?_x['profile:hasOutput' -> ?y].
?_x:'expr:SWRL-Expression' :- ?_x:'expr:SWRL-Condition'.
'expr:SWRL':'expr:LogicLanguage'.
?y:'profile:Profile' :- ?y['profile:serviceProduct' -> ?_x].
?y:'grounding:MessageMap' :- ?y['grounding:owlsParameter' -> ?_x].
?_x:'E' :- ?_x:'A'.
?y:'xsd:anyURI' :- ?_x['grounding:portType' -> ?y].
?_x:'expr:QuotedExpression' :- ?_x:'expr:KIF-Expression'.
?_x:'expr:Expression' :- ?_x:'expr:QuotedExpression'.
?y:'rdf:XMLLiteral' :- ?_x['process:parameterValue' -> ?y].
?y:'profile:ServiceParameter' :- ?_x['profile:serviceParameter' -> ?y].
?y:'process:Perform' :- ?_x['process:fromProcess' -> ?y].
?y['service:supportedBy' -> ?_x] :- ?_x['service:supports' -> ?y].
'SWRL-Expression_7':'expr:SWRL-Expression'.
'process:TheServer':'process:Participant'.
?y:'profile:Profile' :- ?y['profile:serviceCategory' -> ?_x].
?y:'process:Input' :- ?_x['profile:hasInput' -> ?y].
?y:'owl:Thing' :- ?_x['profile:sParameter' -> ?y].
?y:'expr:VariableBinding' :- ?y['expr:theVariable' -> ?_x].
?_x:'process:ControlConstruct' :- ?_x:'process:Any-Order'.
?y:'process:ValueOf' :- ?y['process:theVar' -> ?_x].
'expr:SWRL-FOL'['expr:refURI' -> "http://www.w3.org/Submission/2005/01/"].
?y:'xsd:anyURI' :- ?_x['process:parameterType' -> ?y].
?y:'process:ControlConstructBag' :- ?_x['process:components' -> ?y], ?_x:'process:Split-Join'.
?_x:'owl:Thing' :- ?_x:'C'.
?y:'grounding:WsdlAtomicProcessGrounding' :- ?y['grounding:wsdlDocument' -> ?_x].
?y:'process:ControlConstruct' :- ?_x['process:composedOf' -> ?y].
?_x:'process:ControlConstruct' :- ?_x:'process:Choice'.
?y:'process:CompositeProcess' :- ?_x['process:expandsTo' -> ?y].
?y:'xsd:anyURI' :- ?_x['grounding:xsltTransformationURI' -> ?y].
?_x:'expr:Condition' :- ?_x:'expr:DRS-Condition'.
?y:'process:ControlConstruct' :- ?_x['list:first' -> ?y], ?_x:'process:ControlConstructList'.
?y:'expr:Expression' :- ?_x['process:hasEffect' -> ?y].
?y:'process:Binding' :- ?y['process:valueType' -> ?_x].
?y:'expr:Expression' :- ?_x['process:computedInput' -> ?y].
?y:'process:Binding' :- ?_x['process:producedBinding' -> ?y].
?y:'process:Binding' :- ?y['process:valueSpecifier' -> ?_x].
?y:'process:SimpleProcess' :- ?_x['process:collapsesTo' -> ?y].
?y:'process:ControlConstruct' :- ?y['process:timeout' -> ?_x].
'outOutput1':'process:Output'.
?_x['profile:hasParameter' -> ?y] :- ?_x['profile:hasOutput' -> ?y].
?y:'process:AtomicProcess' :- ?_x['grounding:owlsProcess' -> ?y].
?y:'process:Result' :- ?_x['process:hasResult' -> ?y].
?y:'xsd:anyURI' :- ?_x['grounding:wsdlMessagePart' -> ?y].
?y:'process:ControlConstructBag' :- ?_x['list:rest' -> ?y], ?_x:'process:ControlConstructBag'.
'e3':'E'.
?y:'process:ControlConstructList' :- ?_x['process:components' -> ?y], ?_x:'process:Sequence'.
?y:'profile:Profile' :- ?y['profile:contactInformation' -> ?_x].
?y:'process:Result' :- ?y['process:hasEffect' -> ?_x].
?_x:'expr:Condition' :- ?_x:'expr:KIF-Condition'.
?y:'xsd:anyURI' :- ?_x['grounding:operation' -> ?y].
'e2':'E'.
?_x['expr:expressionLanguage' -> 'expr:SWRL-FOL'] :- ?_x:'expr:SWRL-FOL-Expression'.
?_x:'expr:QuotedExpression' :- ?_x:'expr:SPARQL-Expression'.
'process:ThisPerform':'process:Perform'.
?y:'grounding:WsdlAtomicProcessGrounding' :- ?y['grounding:wsdlService' -> ?_x].
?y['bar' -> ?_x] :- ?_x['bar' -> ?y].
?y:'expr:LogicLanguage' :- ?y['expr:refURI' -> ?_x].
?y:'process:Parameter' :- ?_x['grounding:owlsParameter' -> ?y].
?y['service:providedBy' -> ?_x] :- ?_x['service:provides' -> ?y].
?y:'process:Repeat-Until' :- ?y['process:untilCondition' -> ?_x].
?y['service:describedBy' -> ?_x] :- ?_x['service:describes' -> ?y].
?y['barinv' -> ?_x] :- ?_x['barinv2' -> ?y].
?_x['grounding:xsltTransformation' -> ?y] :- ?_x['grounding:xsltTransformationString' -> ?y].
'inInput1'['process:parameterType' -> ':A'].
?y:'process:ResultVar' :- ?_x['process:hasResultVar' -> ?y].
?y:'process:Result' :- ?_x['profile:hasResult' -> ?y].
?_x:'service:ServiceGrounding' :- ?_x:'grounding:Grounding'.
?y:'profile:Profile' :- ?y['profile:hasPrecondition' -> ?_x].
?y:'process:ControlConstruct' :- ?_x['process:untilProcess' -> ?y].
?_x:'process:Parameter' :- ?_x:'process:ResultVar'.
?y['process:realizedBy' -> ?_x] :- ?_x['process:realizes' -> ?y].
?y:'process:ControlConstruct' :- ?_x['process:whileProcess' -> ?y].
?y['service:supports' -> ?_x] :- ?_x['service:supportedBy' -> ?y].
'a1'['bar' -> 'd1'].
?_x:'expr:Expression' :- ?_x:'expr:UnquotedExpression'.
?y:'grounding:WsdlAtomicProcessGrounding' :- ?y['grounding:wsdlInput' -> ?_x].
?y:'grounding:WsdlOperationRef' :- ?_x['grounding:wsdlOperation' -> ?y].
?y:'grounding:WsdlAtomicProcessGrounding' :- ?y['grounding:wsdlVersion' -> ?_x].
?_x:'process:Iterate' :- ?_x:'process:Repeat-Until'.
?y:'xsd:string' :- ?_x['grounding:xsltTransformationString' -> ?y].
?y['service:describes' -> ?_x] :- ?_x['service:describedBy' -> ?y].
?y:'xsd:anyURI' :- ?_x['grounding:wsdlDocument' -> ?y].
'expr:SPARQL':'expr:LogicLanguage'.
?_x:'expr:KIF-Expression' :- ?_x:'expr:KIF-Condition'.
?_x:'expr:QuotedExpression' :- ?_x:'expr:SWRL-FOL-Expression'.
?y:'profile:ServiceCategory' :- ?y['profile:taxonomy' -> ?_x].
?y:'list:List' :- ?y['list:rest' -> ?_x].
?y:'process:AtomicProcess' :- ?y['process:realizes' -> ?_x].
'expr:SPARQL'['expr:refURI' -> "http://www.w3.org/TR/rdf-sparql-query/"].
?y:'service:Service' :- ?y['service:supports' -> ?_x].
?_x['foo' -> 'c1'] :- ?_x:'A'.
'myAtomicProcess1'['process:hasResult' -> 'Result_6'].
?y:'process:CompositeProcess' :- ?y['process:composedOf' -> ?_x].
?y:'expr:Condition' :- ?_x['process:whileCondition' -> ?y].
?_x['expr:expressionLanguage' -> 'expr:KIF'] :- ?_x:'expr:KIF-Expression'.
?y:'list:List' :- ?y['list:first' -> ?_x].
?y:'process:Binding' :- ?y['process:toParam' -> ?_x].
?y:'expr:QuotedExpression' :- ?y['expr:expressionData' -> ?_x].
'inInput1':'process:Input'.
?_x:'grounding:MessageMap' :- ?_x:'grounding:OutputMessageMap'.
?_x:'expr:SPARQL-Expression' :- ?_x:'expr:SPARQL-Condition'.
?y:'profile:ServiceCategory' :- ?y['profile:value' -> ?_x].
?y:'process:Local' :- ?_x['process:hasLocal' -> ?y].
?y['process:realizedBy' -> ?_x] :- ?_x['process:realizes' -> ?y].
?_x:'expr:Condition' :- ?_x:'expr:SPARQL-Condition'.
?y['process:collapsesTo' -> ?_x] :- ?_x['process:expandsTo' -> ?y].
'e1':'E'.
?_x:'grounding:OutputMessageMap' :- (?_x:'grounding:DirectOutputMessageMap'; ?_x:'grounding:XSLTOutputMessageMap').
?X:'A' :- [?X, 17]:'swrlb:lessThan'.
?y['process:expandsTo' -> ?_x] :- ?_x['process:collapsesTo' -> ?y].
'myAtomicProcess1'['process:hasOutput' -> 'outOutput1'].
?y['bar' -> ?_x] :- ?_x['bar' -> ?y].
?y:'process:CompositeProcess' :- ?y['process:computedPrecondition' -> ?_x].
?y:'expr:Expression' :- ?_x['process:computedOutput' -> ?y].
?y:'profile:Profile' :- ?y['profile:has_process' -> ?_x].
?_x['expr:expressionLanguage' -> 'expr:SWRL'] :- ?_x:'expr:SWRL-Expression'.
?_x:'grounding:WsdlMessageMap' :- (?_x:'grounding:DirectInputMessageMap'; ?_x:'grounding:XSLTInputMessageMap').
?_x:'A' :- ?_x:'B'.
?y:'grounding:WsdlMessageMap' :- ?y['grounding:xsltTransformation' -> ?_x].
?y:'process:SimpleProcess' :- ?_x['process:realizes' -> ?y].
'SWRL-Condition_5'['expr:expressionObject' -> ${'inInput1':'C'}].
?y:'process:Repeat-While' :- ?y['process:whileProcess' -> ?_x].
?_x['process:performedBy' -> 'process:TheServer'] :- ?_x:'process:AtomicProcess'.
?y:'process:Binding' :- ?y['process:valueFunction' -> ?_x].
?y:'process:Input' :- ?_x['grounding:owlsParameter' -> ?y], ?_x:'grounding:InputMessageMap'.
'expr:SWRL-FOL':'expr:LogicLanguage'.
?y['service:providedBy' -> ?_x] :- ?_x['service:provides' -> ?y].
?X['food' -> 5] :- ?X:'E'.
'myAtomicProcess1'['process:hasInput' -> 'inInput1'].
?_x:'owl:Thing' :- ?_x:'A'.
?y['service:presents' -> ?_x] :- ?_x['service:presentedBy' -> ?y].
?y:'rdf:XMLLiteral' :- ?_x['process:valueForm' -> ?y].
?y['barinv2' -> ?_x] :- ?_x['barinv' -> ?y].
?_x:'process:ControlConstruct' :- ?_x:'process:Sequence'.
?y:'profile:ServiceCategory' :- ?y['profile:categoryName' -> ?_x].
?y:'process:Parameter' :- ?_x['process:hasParameter' -> ?y].
?y:'process:If-Then-Else' :- ?y['process:ifCondition' -> ?_x].
?y:'grounding:WsdlAtomicProcessGrounding' :- ?y['grounding:wsdlOutputMessage' -> ?_x].
?_x['process:hasParameter' -> ?y] :- ?_x['process:hasOutput' -> ?y].
?y['barinv' -> ?_x] :- ?_x['barinv2' -> ?y].
?y:'process:Result' :- ?y['process:inCondition' -> ?_x].
?y:'process:Binding' :- ?_x['process:hasDataFrom' -> ?y].
?y:'profile:ServiceParameter' :- ?y['profile:serviceParameterName' -> ?_x].
?y:'service:ServiceModel' :- ?_x['service:describedBy' -> ?y].
?_x['process:valueSpecifier' -> ?y] :- ?_x['process:valueForm' -> ?y].
'SWRL-Expression_7'['expr:expressionObject' -> ${'outOutput1':'E'}].


%pretest :- myAtomicProcess1[?_x -> ?y],
	   %writeln(?_x = ?y)@flora(io),
	   fail.
%pretest :- true.

%test :- tell(temp)@prolog(),
	debug[%check_undefined(on)]@flora(sys),
	%pretest,
	debug[%check_undefined(off)]@flora(sys),
	!,
	abolish_all_tables,
	%pretest,
	told@prolog().

--- NEW FILE: guizhen_old ---
process:performedBy = process:TheServer
process:hasClient = process:TheClient
process:hasParameter = outOutput1
process:hasParameter = inInput1
process:hasParticipant = process:TheClient
process:hasParticipant = process:TheServer
process:hasPrecondition = SWRL-Condition_5
process:hasResult = Result_6
process:hasOutput = outOutput1
process:hasInput = inInput1
process:performedBy = process:TheServer
process:hasClient = process:TheClient
process:hasParameter = outOutput1
process:hasParameter = inInput1
process:hasParticipant = process:TheClient
process:hasParticipant = process:TheServer
process:hasPrecondition = SWRL-Condition_5
process:hasResult = Result_6
process:hasOutput = outOutput1
process:hasInput = inInput1