blob: f5f90f3809f28881c2824cea1e29813ffde34e9a (
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">
<assertions name="assertion1">
<value xsi:type="language_1:Iff">
<leftOperand xsi:type="language_1:Not">
<operand xsi:type="language_1:And">
<operands xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.0"/>
<operands xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.1"/>
</operand>
</leftOperand>
<rightOperand xsi:type="language_1:Or">
<operands xsi:type="language_1:Not">
<operand xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.0"/>
</operands>
<operands xsi:type="language_1:Not">
<operand xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.1"/>
</operands>
</rightOperand>
</value>
</assertions>
<constants xsi:type="language_1:ConstantDeclaration" name="constant1">
<type xsi:type="language_1:BoolTypeReference"/>
</constants>
<constants xsi:type="language_1:ConstantDeclaration" name="constant2">
<type xsi:type="language_1:BoolTypeReference"/>
</constants>
</language:LogicProblem>
|