-
Notifications
You must be signed in to change notification settings - Fork 0
/
ex2.txt
22 lines (22 loc) · 900 Bytes
/
ex2.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
arg("Left (True,murder)").
arg("Left (False,murder)").
arg("Right [kill,intent] ~[]=>murder").
arg("Left (False,intent)").
arg("Left (True,intent)").
arg("Right [witness2] ~[unreliable2]=>-intent").
arg("Right [witness] ~[unreliable]=>intent").
arg("Left (True,unreliable)").
arg("Left (False,unreliable)").
arg("Left (True,defeater)").
arg("Left (True,kill)").
arg("Left (True,witness)").
arg("Left (True,witness2)").
arg("Left (True,unreliable2)").
att("Left (True,defeater)","Left (True,murder)").
att("Left (True,defeater)","Left (False,murder)").
att("Left (True,defeater)","Right [kill,intent] ~[]=>murder").
att("Left (True,defeater)","Left (False,intent)").
att("Left (True,defeater)","Left (True,intent)").
att("Left (True,unreliable2)","Right [witness2] ~[unreliable2]=>-intent").
att("Left (True,defeater)","Left (True,unreliable)").
att("Left (True,defeater)","Left (False,unreliable)").