blob: 2529b6d72b8f707ded258e31889bd34f7a3a3ff6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
<?xml version="1.0" encoding="ASCII"?>
<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language">
<types xsi:type="language_1:TypeDefinition" name="oldRPS" elements="//@elements.0 //@elements.1 //@elements.2"/>
<assertions name="assertion1">
<value xsi:type="language_1:Forall">
<quantifiedVariables name="x">
<range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
</quantifiedVariables>
<expression xsi:type="language_1:Exists">
<quantifiedVariables name="y">
<range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
</quantifiedVariables>
<expression xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/>
</expression>
</expression>
</value>
</assertions>
<relations xsi:type="language_1:RelationDeclaration" name="beats2">
<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
</relations>
<elements name="Rock" definedInType="//@types.0"/>
<elements name="Paper" definedInType="//@types.0"/>
<elements name="Scissor" definedInType="//@types.0"/>
</language:LogicProblem>
|
