Skip to content
Snippets Groups Projects
Commit b99d6f9b authored by patham9's avatar patham9
Browse files

finalized NAL1-NAL6 examples for 1.5.7 release

parent 8694de15
No related branches found
No related tags found
No related merge requests found
...@@ -208,7 +208,7 @@ ...@@ -208,7 +208,7 @@
// It is unlikely that if robin is not a type of bird then robin can fly. // It is unlikely that if robin is not a type of bird then robin can fly.
<(--,<robin --> [flying]>) ==> <robin --> bird>>? <(--,<robin --> [flying]>) ==> <robin --> bird>>?
// If robin cannot fly then is robin a type of bird? // If robin cannot fly then is robin a type of bird?
29 3
OUT: <(--,<robin --> [flying]>) ==> <robin --> bird>>. %0.00;0.45% OUT: <(--,<robin --> [flying]>) ==> <robin --> bird>>. %0.00;0.45%
// I guess it is unlikely that if robin cannot fly then robin is a type of bird. // I guess it is unlikely that if robin cannot fly then robin is a type of bird.
...@@ -273,6 +273,6 @@ ...@@ -273,6 +273,6 @@
// If robin can fly and robin chirps, then robin is a bird // If robin can fly and robin chirps, then robin is a bird
<<robin --> [flying]> ==> <robin --> [with-beak]>>. %0.90% <<robin --> [flying]> ==> <robin --> [with-beak]>>. %0.90%
// If robin can fly then usually robin has a beak. // If robin can fly then usually robin has a beak.
18 22
OUT: <(&&,<robin --> [chirping]>,<robin --> [with-beak]>) ==> <robin --> bird>>. %1.00;0.42% OUT: <(&&,<robin --> [chirping]>,<robin --> [with-beak]>) ==> <robin --> bird>>. %1.00;0.42%
// I guess that if robin chirps and robin has a beak, then robin is a bird. // I guess that if robin chirps and robin has a beak, then robin is a bird.
*****RESET*****
********** revision ********** revision
IN: <<robin --> [flying]> ==> <robin --> bird>>. %1.00;0.90% {0 : 1} IN: <<robin --> [flying]> ==> <robin --> bird>>. %1.00;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> bird>>. %0.00;0.60% {0 : 2} IN: <<robin --> [flying]> ==> <robin --> bird>>. %0.00;0.60% {0 : 2}
...@@ -19,7 +18,9 @@ ...@@ -19,7 +18,9 @@
********** induction ********** induction
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1} IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.80;0.90% {0 : 2} IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.80;0.90% {0 : 2}
14 2
OUT: <(--,<robin --> [flying]>) ==> (--,<robin --> bird>)>. %0.00;0.15% {2 : 2}
12
OUT: <<robin --> bird> ==> (||,<robin --> animal>,<robin --> [flying]>)>. %1.00;0.81% {14 : 1;2} OUT: <<robin --> bird> ==> (||,<robin --> animal>,<robin --> [flying]>)>. %1.00;0.81% {14 : 1;2}
OUT: <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.80;0.81% {14 : 1;2} OUT: <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.80;0.81% {14 : 1;2}
OUT: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.39% {14 : 1;2} OUT: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.39% {14 : 1;2}
...@@ -28,7 +29,11 @@ ...@@ -28,7 +29,11 @@
********** abduction ********** abduction
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1} IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> animal>>. %0.80;0.90% {0 : 2} IN: <<robin --> [flying]> ==> <robin --> animal>>. %0.80;0.90% {0 : 2}
19 2
OUT: <(--,<robin --> animal>) ==> (--,<robin --> [flying]>)>. %0.00;0.15% {2 : 2}
16
OUT: <(--,<robin --> animal>) ==> (--,<robin --> [flying]>)>. %0.00;0.15% {18 : 2}
1
OUT: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %1.00;0.81% {19 : 1;2} OUT: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %1.00;0.81% {19 : 1;2}
OUT: <(||,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %0.80;0.81% {19 : 1;2} OUT: <(||,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %0.80;0.81% {19 : 1;2}
OUT: <<robin --> bird> ==> <robin --> [flying]>>. %1.00;0.39% {19 : 1;2} OUT: <<robin --> bird> ==> <robin --> [flying]>>. %1.00;0.39% {19 : 1;2}
...@@ -47,7 +52,9 @@ ...@@ -47,7 +52,9 @@
********** comparison ********** comparison
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1} IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.80;0.90% {0 : 2} IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.80;0.90% {0 : 2}
14 2
OUT: <(--,<robin --> [flying]>) ==> (--,<robin --> bird>)>. %0.00;0.15% {2 : 2}
12
OUT: <<robin --> bird> ==> (||,<robin --> animal>,<robin --> [flying]>)>. %1.00;0.81% {14 : 1;2} OUT: <<robin --> bird> ==> (||,<robin --> animal>,<robin --> [flying]>)>. %1.00;0.81% {14 : 1;2}
OUT: <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.80;0.81% {14 : 1;2} OUT: <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.80;0.81% {14 : 1;2}
OUT: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.39% {14 : 1;2} OUT: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.39% {14 : 1;2}
...@@ -56,7 +63,9 @@ ...@@ -56,7 +63,9 @@
********** comparison ********** comparison
IN: <<robin --> bird> ==> <robin --> animal>>. %0.70;0.90% {0 : 1} IN: <<robin --> bird> ==> <robin --> animal>>. %0.70;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.90% {0 : 2} IN: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.90% {0 : 2}
19 14
OUT: <(--,<robin --> animal>) ==> (--,<robin --> bird>)>. %0.00;0.21% {14 : 1}
5
OUT: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %1.00;0.81% {19 : 1;2} OUT: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %1.00;0.81% {19 : 1;2}
OUT: <(||,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %0.70;0.81% {19 : 1;2} OUT: <(||,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %0.70;0.81% {19 : 1;2}
OUT: <<robin --> bird> ==> <robin --> [flying]>>. %0.70;0.45% {19 : 1;2} OUT: <<robin --> bird> ==> <robin --> [flying]>>. %0.70;0.45% {19 : 1;2}
...@@ -80,12 +89,16 @@ ...@@ -80,12 +89,16 @@
********** conversions between Implication and Equivalence ********** conversions between Implication and Equivalence
IN: <<robin --> [flying]> ==> <robin --> bird>>. %0.90;0.90% {0 : 1} IN: <<robin --> [flying]> ==> <robin --> bird>>. %0.90;0.90% {0 : 1}
IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.90;0.90% {0 : 2} IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.90;0.90% {0 : 2}
7 2
OUT: <(--,<robin --> [flying]>) ==> (--,<robin --> bird>)>. %0.00;0.08% {2 : 2}
5
OUT: <<robin --> bird> <=> <robin --> [flying]>>. %0.81;0.81% {7 : 1;2} OUT: <<robin --> bird> <=> <robin --> [flying]>>. %0.81;0.81% {7 : 1;2}
********** compound composition, two premises ********** compound composition, two premises
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1} IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.90;0.90% {0 : 2} IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.90;0.90% {0 : 2}
14 2
OUT: <(--,<robin --> [flying]>) ==> (--,<robin --> bird>)>. %0.00;0.08% {2 : 2}
12
OUT: <<robin --> bird> ==> (||,<robin --> animal>,<robin --> [flying]>)>. %1.00;0.81% {14 : 1;2} OUT: <<robin --> bird> ==> (||,<robin --> animal>,<robin --> [flying]>)>. %1.00;0.81% {14 : 1;2}
OUT: <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.90;0.81% {14 : 1;2} OUT: <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.90;0.81% {14 : 1;2}
OUT: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.42% {14 : 1;2} OUT: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.42% {14 : 1;2}
...@@ -94,7 +107,11 @@ ...@@ -94,7 +107,11 @@
********** compound composition, two premises ********** compound composition, two premises
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1} IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> animal>>. %0.90;0.90% {0 : 2} IN: <<robin --> [flying]> ==> <robin --> animal>>. %0.90;0.90% {0 : 2}
19 2
OUT: <(--,<robin --> animal>) ==> (--,<robin --> [flying]>)>. %0.00;0.08% {2 : 2}
16
OUT: <(--,<robin --> animal>) ==> (--,<robin --> [flying]>)>. %0.00;0.08% {18 : 2}
1
OUT: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %1.00;0.81% {19 : 1;2} OUT: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %1.00;0.81% {19 : 1;2}
OUT: <(||,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %0.90;0.81% {19 : 1;2} OUT: <(||,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %0.90;0.81% {19 : 1;2}
OUT: <<robin --> bird> ==> <robin --> [flying]>>. %1.00;0.42% {19 : 1;2} OUT: <<robin --> bird> ==> <robin --> [flying]>>. %1.00;0.42% {19 : 1;2}
...@@ -106,6 +123,7 @@ ...@@ -106,6 +123,7 @@
8 8
OUT: <<robin --> bird> ==> <robin --> animal>>. %0.00;0.81% {8 : 1;2} OUT: <<robin --> bird> ==> <robin --> animal>>. %0.00;0.81% {8 : 1;2}
OUT: <robin --> animal>. %0.00;0.45% {8 : 1;2} OUT: <robin --> animal>. %0.00;0.45% {8 : 1;2}
OUT: <(--,(&&,<robin --> animal>,<robin --> [flying]>)) ==> (--,<robin --> bird>)>. %0.00;0.47% {8 : 1}
********** compound decomposition, two premises ********** compound decomposition, two premises
IN: (&&,<robin --> swimmer>,<robin --> [flying]>). %0.00;0.90% {0 : 1} IN: (&&,<robin --> swimmer>,<robin --> [flying]>). %0.00;0.90% {0 : 1}
IN: <robin --> [flying]>. %1.00;0.90% {0 : 2} IN: <robin --> [flying]>. %1.00;0.90% {0 : 2}
...@@ -155,12 +173,8 @@ ...@@ -155,12 +173,8 @@
********** contraposition ********** contraposition
IN: <(--,<robin --> bird>) ==> <robin --> [flying]>>. %0.10;0.90% {0 : 1} IN: <(--,<robin --> bird>) ==> <robin --> [flying]>>. %0.10;0.90% {0 : 1}
IN: <(--,<robin --> [flying]>) ==> <robin --> bird>>? {0 : 2} IN: <(--,<robin --> [flying]>) ==> <robin --> bird>>? {0 : 2}
8 3
OUT: <(--,<robin --> [flying]>) ==> <robin --> bird>>? {8 : 1} OUT: <(--,<robin --> [flying]>) ==> <robin --> bird>>. %0.00;0.45% {3 : 1}
16
OUT: <(--,<robin --> bird>) ==> <robin --> [flying]>>? {24 : 1}
OUT: <(--,<robin --> bird>) ==> <robin --> [flying]>>? {24 : 1}
OUT: <(--,<robin --> bird>) ==> <robin --> [flying]>>? {24 : 1}
********** conditional deduction ********** conditional deduction
IN: <(&&,<robin --> [flying]>,<robin --> [with-wings]>) ==> <robin --> bird>>. %1.00;0.90% {0 : 1} IN: <(&&,<robin --> [flying]>,<robin --> [with-wings]>) ==> <robin --> bird>>. %1.00;0.90% {0 : 1}
IN: <robin --> [flying]>. %1.00;0.90% {0 : 2} IN: <robin --> [flying]>. %1.00;0.90% {0 : 2}
...@@ -190,11 +204,17 @@ ...@@ -190,11 +204,17 @@
********** conditional abduction ********** conditional abduction
IN: <(&&,<robin --> [flying]>,<robin --> [with-wings]>) ==> <robin --> [living]>>. %0.90;0.90% {0 : 1} IN: <(&&,<robin --> [flying]>,<robin --> [with-wings]>) ==> <robin --> [living]>>. %0.90;0.90% {0 : 1}
IN: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> [living]>>. %1.00;0.90% {0 : 2} IN: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> [living]>>. %1.00;0.90% {0 : 2}
18 13
OUT: <(--,<robin --> [living]>) ==> (--,(&&,<robin --> [flying]>,<robin --> [with-wings]>))>. %0.00;0.08% {13 : 1}
5
OUT: <<robin --> bird> ==> <robin --> [with-wings]>>. %1.00;0.42% {18 : 1;2} OUT: <<robin --> bird> ==> <robin --> [with-wings]>>. %1.00;0.42% {18 : 1;2}
OUT: <<robin --> [with-wings]> ==> <robin --> bird>>. %0.90;0.45% {18 : 1;2} OUT: <<robin --> [with-wings]> ==> <robin --> bird>>. %0.90;0.45% {18 : 1;2}
********** conditional induction ********** conditional induction
IN: <(&&,<robin --> [chirping]>,<robin --> [flying]>) ==> <robin --> bird>>. %1.00;0.90% {0 : 1} IN: <(&&,<robin --> [chirping]>,<robin --> [flying]>) ==> <robin --> bird>>. %1.00;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> [with-beak]>>. %0.90;0.90% {0 : 2} IN: <<robin --> [flying]> ==> <robin --> [with-beak]>>. %0.90;0.90% {0 : 2}
18 2
OUT: <(&&,<robin --> [chirping]>,<robin --> [with-beak]>) ==> <robin --> bird>>. %1.00;0.42% {18 : 2;1} OUT: <(--,<robin --> [with-beak]>) ==> (--,<robin --> [flying]>)>. %0.00;0.08% {2 : 2}
11
OUT: <(--,<robin --> [with-beak]>) ==> (--,<robin --> [flying]>)>. %0.00;0.08% {13 : 2}
9
OUT: <(&&,<robin --> [chirping]>,<robin --> [with-beak]>) ==> <robin --> bird>>. %1.00;0.42% {22 : 2;1}
...@@ -234,3 +234,47 @@ ...@@ -234,3 +234,47 @@
OUT: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.45% OUT: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.45%
// I guess every lock can be opened by some key. // I guess every lock can be opened by some key.
***** second level variable unification
IN: (&&,<#1 --> lock>,<<$2 --> key> ==> <#1 --> (/,open,$2,_)>>). %1.00;0.90%
//there is a lock which is opened by all keys
IN: <{key1} --> key>. %1.00;0.90%
//key1 is a key
5
OUT: (&&,<#1 --> lock>,<#1 --> (/,open,{key1},_)>). %1.00;0.81%
//there is a lock which is opened by key1
***** second level variable unification
IN: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.90%
//all locks are opened by some key
IN: <{key1} --> key>. %1.00;0.90%
//key1 is a key
5
OUT: <<$1 --> lock> ==> <$1 --> (/,open,{key1},_)>>. %1.00;0.43%
//maybe all locks are opened by key1
***** second variable introduction (induction)
IN: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>.
//if something opens lock1, it is a key
IN: <lock1 --> lock>.
//lock1 is a key
7
OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.45%
//there is a lock with the property that when opened by something, this something is a key (induction)
***** variable elimination (deduction)
IN: <lock1 --> lock>. %1.00;0.90%
//lock1 is a lock
IN: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.90%
//there is a lock with the property that when opened by something, this something is a key
4
OUT: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.43%
//whatever opens lock1 is a key
***** abduction with variable elimination (abduction)
IN: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.90% {0 : 1}
//whatever opens lock1 is a key
IN: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.90% {0 : 2}
//there is a lock with the property that when opened by something, this something is a key
10
OUT: <lock1 --> lock>. %1.00;0.45% {10 : 1;2}
//lock1 is a lock
...@@ -151,7 +151,6 @@ ...@@ -151,7 +151,6 @@
3 3
OUT: (&&,<#1 --> lock>,<<$2 --> key> ==> <#1 --> (/,open,$2,_)>>). %1.00;0.81% {15 : 1;2} OUT: (&&,<#1 --> lock>,<<$2 --> key> ==> <#1 --> (/,open,$2,_)>>). %1.00;0.81% {15 : 1;2}
OUT: <(&&,<$1 --> key>,<$2 --> lock>) ==> <$2 --> (/,open,$1,_)>>. %1.00;0.45% {15 : 1;2} OUT: <(&&,<$1 --> key>,<$2 --> lock>) ==> <$2 --> (/,open,$1,_)>>. %1.00;0.45% {15 : 1;2}
OUT: <<$1 --> key> ==> <{lock1} --> (/,open,$1,_)>>. %1.00;0.45% {15 : 1;2}
********** multiple variables introduction ********** multiple variables introduction
IN: (&&,<#1 --> key>,<{lock1} --> (/,open,#1,_)>). %1.00;0.90% {0 : 1} IN: (&&,<#1 --> key>,<{lock1} --> (/,open,#1,_)>). %1.00;0.90% {0 : 1}
IN: <{lock1} --> lock>. %1.00;0.90% {0 : 2} IN: <{lock1} --> lock>. %1.00;0.90% {0 : 2}
...@@ -162,3 +161,40 @@ ...@@ -162,3 +161,40 @@
3 3
OUT: (&&,<#1 --> key>,<#2 --> lock>,<#2 --> (/,open,#1,_)>). %1.00;0.81% {15 : 1;2} OUT: (&&,<#1 --> key>,<#2 --> lock>,<#2 --> (/,open,#1,_)>). %1.00;0.81% {15 : 1;2}
OUT: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.45% {15 : 1;2} OUT: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.45% {15 : 1;2}
***** second level variable unification
IN: (&&,<#1 --> lock>,<<$2 --> key> ==> <#1 --> (/,open,$2,_)>>). %1.00;0.90% {0 : 1}
IN: <{key1} --> key>. %1.00;0.90% {0 : 2}
5
OUT: (&&,<#1 --> lock>,<#1 --> (/,open,{key1},_)>). %1.00;0.81% {5 : 2;1}
***** second level variable unification
IN: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.90% {0 : 1}
IN: <{key1} --> key>. %1.00;0.90% {0 : 2}
5
OUT: <<$1 --> lock> ==> <$1 --> (/,open,{key1},_)>>. %1.00;0.43% {5 : 2;1}
***** second variable introduction (induction)
IN: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.90% {0 : 1}
IN: <lock1 --> lock>. %1.00;0.90% {0 : 2}
2
OUT: <<(*,$1,lock1) --> open> ==> <$1 --> key>>. %1.00;0.90% {2 : 1}
5
OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.45% {7 : 1;2}
***** variable elimination (deduction)
IN: <lock1 --> lock>. %1.00;0.90% {0 : 1}
IN: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.90% {0 : 2}
2
OUT: <(&&,<#1 --> lock>,<(*,$2,#1) --> open>) ==> <$2 --> key>>. %1.00;0.90% {2 : 2}
2
OUT: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.43% {4 : 1;2}
***** abduction with variable elimination (abduction)
IN: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.90% {0 : 1}
IN: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.90% {0 : 2}
5
OUT: <<(*,$1,lock1) --> open> ==> <$1 --> key>>. %1.00;0.90% {5 : 1}
5
OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>,<lock1 --> (/,open,$3,_)>) ==> <$3 --> key>>. %1.00;0.81% {10 : 1;2}
OUT: <(||,(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>),<lock1 --> (/,open,$3,_)>) ==> <$3 --> key>>. %1.00;0.81% {10 : 1;2}
OUT: <<lock1 --> (/,open,$1,_)> ==> (&&,<#2 --> lock>,<#2 --> (/,open,$3,_)>)>. %1.00;0.45% {10 : 1;2}
OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <lock1 --> (/,open,$3,_)>>. %1.00;0.45% {10 : 1;2}
OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) <=> <lock1 --> (/,open,$3,_)>>. %1.00;0.45% {10 : 1;2}
OUT: <lock1 --> lock>. %1.00;0.45% {10 : 1;2}
OUT: <lock1 --> (/,open,$1,_)>. %1.00;0.45% {10 : 1;2}
No preview for this file type
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment