<< world of warcraft
qtree=cHicpZRNaBNREMdn3m7S122RUAnUlUIaik2F4lIQYkUqUiRQhFJU9PmBrdFGEFtSIaUgRFRIFbGiFz-Raj4PSVvxaGk9SU_JVb176UG8qRff7Eeaj5WCDWTe5M38J-_9Zna1Ma2dgw86eQBCzIAOJTGV0CEI-2EABtu5IkMgQ2DAUYjAKJyBSxC7-61lAeE5wiJS_grCRwT5-YxQxqgBYTz2ATn6QKdwEEJSYGAER58wU4_xEY0iPuxEKh2GMZwX7M17gcsTXMroL3dPaNJjV6LSVybafExXrt2YNH-0-hQdZ8iNwSyLH28qlhIsXWys1Dtji5ktli7o2OvUmWOciU0PRz_A3LD-xaNFJBzmYyYBggM1ZKCGjDfiJTIxdKhAAxI9ybQLDaQ9ian49ajeGth3IDQQGOgLBDFk1_Y0U4-tnnOKW0I36AsWdCtBYsd66BHNiuyYVLzHpVJSwFYdh2esZboliSCPrv9kWrQBAU-Mxy_Hx6_e1LEvuAXCpsBdKCw-7XYwVMVuJP5YJKo5zTBGtGrQvAX-Lw-UPA66FmOposC0ezFT1ucqU1LpYh1LSu11P26yMbEeerCdqz61Uw0oIdUAA8No76vUh5AqHqic-_dWBof1X4p2tqE93vJKealyh5pTHU2XF0Ls3b3NNqcrtsatJw8Vsyd2ht0RNvrW6cghzQ7JJ865oCf1uri-IbAgMCcwKzAjMF8HVV7639JP20tfoouWpTaEkimukVkXSo5MmkyB9grkZcnLWgHp5S1DKSVSkMmSyZDJk0mXzOgaRcmYBcjLkMmTSZfWGo53yuV0SkoiYYWS_BYFy8k1J9esXLNyzcg1I9e8XPNyTZfqR5rKyinBmimxpgHECyanYVm5OKzPM9dpWC2vbDsNv79-99ROg9S4TcMrrE6DzGiehpOaHaL3r_2OYanHO7g3SJw9Greqlpfo6DZQeobQzuKz4E7H3rmP3Zq507GHo-7nqv_Z9K2hrsnblXDA239614khoylH84fOPzrS9ePweDgA_QTCoMp_AacZtV8%2C

<< abc bcd cde def grani.ru [ia;ft:1;porno:1]
qtree=cHicrVVPSBRRGP--t7P69iUybQg2UEyT6ChUM9GCCGl0WuoiHiKWiJTYVopVtgKRDpNBiIgIXaTjht0KKQgvdguKDu527Bx061wne-_Nmz_OjtuSzunNe9_3-77f7_u9GXaN9VDQoR9MYhMH8mCABSNwEcaCfbDBgSvZYnYSbsIdqOA6wkuEOsI7hB0E_nxGaOBd408PKyo4wtPawXUVuwRcG7CvyKoKjCoweq82XZ09X3tsHDefmA9mq_fHgp1hC21VhsbKQBFkma3XP3ZzQakQJlHSgVG8ep2iDkYYYoEtcx3kSOuaL0BtgIUBopiNPBWmYIaXNkTpExW6AItQ6Z7v9hB4XWMVWVmxySk2miAg5clZAZokoLUlINPqGOWksegXlQQ2bw19CNH4IvjtWMEwMrbmgIOjWKpr1POwT-AYa5qcI9GJ7ONwc3xK2O3EHLOydSNnDl6wXdMdNkPobAr1jz83zgbofmYa43WUg_MDFG-cfEHUxIrMP9GxH9W4cLlENt9GM5thfEWGHvJ1ZianEwODJRg4JJYVXCB89q1IXik-ex61SCiJTX8T2Y2EBoS7GKxIAiUASRFgrRrQJ-nTviypE-nWBO_TjG_zVtM9mujT8mdOlC04tNrXROs2lH7FTPL9KE3yibDZhECs8b7pNbYaO43tTp2y75bH8tM0--L7JRYVXpZXgXiDjAbH-665NEpjO7joPC4Gc_AHoTbCeqO45lJLLInF2hFmczVRHePV931m3iC7ldBRa3rNZ51a7cPzDRIIKBPTpJuQysnjVs1MJg86-yz-y3D8bQXPMPmWP0nR6KO0b7o8OHHq27g7bsI50ZkjmS9FzHM-qXx2fq5WnZOezFwqOB3Yxs-oowj_n8-qTvf2MrrnaZySZmccGNnNhL9E7dC35Dc5wv_rMrKpxB-JlB9JOHQPNEikFQ-uI7ppMg2IVANd65gTPm5Ssphr27VS6LiVQptWCvFWCge30vpj9Pcja6rVCvZIW5K8Rntr4uAvT8OwqQ%2C%2C

<< abc bcd cde def [ia;ft:1;porno:1] [la;link:grani.ru]
qtree=cHicrVVPSBRRGP--t7P69iUybQg2UEyT6ChUM9GCCGl0WuoiHiKWiJTYVopVtgKRDpNBiIgIXaTjht0KKQgvdguKDu527Bx061wne-_Nmz_OjtuSzunNe9_3-77f7_u9GXaN9VDQoR9MYhMH8mCABSNwEcaCfbDBgSvZYnYSbsIdqOA6wkuEOsI7hB0E_nxGaOBd408PKyo4wtPawXUVuwRcG7CvyKoKjCoweq82XZ09X3tsHDefmA9mq_fHgp1hC21VhsbKQBFkma3XP3ZzQakQJlHSgVG8ep2iDkYYYoEtcx3kSOuaL0BtgIUBopiNPBWmYIaXNkTpExW6AItQ6Z7v9hB4XWMVWVmxySk2miAg5clZAZokoLUlINPqGOWksegXlQQ2bw19CNH4IvjtWMEwMrbmgIOjWKpr1POwT-AYa5qcI9GJ7ONwc3xK2O3EHLOydSNnDl6wXdMdNkPobAr1jz83zgbofmYa43WUg_MDFG-cfEHUxIrMP9GxH9W4cLlENt9GM5thfEWGHvJ1ZianEwODJRg4JJYVXCB89q1IXik-ex61SCiJTX8T2Y2EBoS7GKxIAiUASRFgrRrQJ-nTviypE-nWBO_TjG_zVtM9mujT8mdOlC04tNrXROs2lH7FTPL9KE3yibDZhECs8b7pNbYaO43tTp2y75bH8tM0--L7JRYVXpZXgXiDjAbH-665NEpjO7joPC4Gc_AHoTbCeqO45lJLLInF2hFmczVRHePV931m3iC7ldBRa3rNZ51a7cPzDRIIKBPTpJuQysnjVs1MJg86-yz-y3D8bQXPMPmWP0nR6KO0b7o8OHHq27g7bsI50ZkjmS9FzHM-qXx2fq5WnZOezFwqOB3Yxs-oowj_n8-qTvf2MrrnaZySZmccGNnNhL9E7dC35Dc5wv_rMrKpxB-JlB9JOHQPNEikFQ-uI7ppMg2IVANd65gTPm5Ssphr27VS6LiVQptWCvFWCge30vpj9Pcja6rVCvZIW5K8Rntr4uAvT8OwqQ%2C%2C


<< aaa [la;link:grani.ru;link:grani1.ru]
aaa
link:"grani.ru"
link:"grani1.ru"
link:"grani2.ru"

<< abc bcd cde def grani.ru. [ia;ft:1;porno:1] [la;link:grani.ru]
link:"grani.ru"
grani.ru
porno:2
porno:1
grani.ru | link:"grani.ru"
porno:<450
ft:1 | ft:5
(ft:1 | ft:5)
(grani.ru | link:"grani.ru") porno:<450 << (ft:1 | ft:5)
qtree=cHicrVVPSBRRGP--t7P69iUybQg2UEyT6ChUM9GCCGl0WuoiHiKWiJTYVopVtgKRDpNBiIgIXaTjht0KKQgvdguKDu527Bx061wne-_Nmz_OjtuSzunNe9_3-77f7_u9GXaN9VDQoR9MYhMH8mCABSNwEcaCfbDBgSvZYnYSbsIdqOA6wkuEOsI7hB0E_nxGaOBd408PKyo4wtPawXUVuwRcG7CvyKoKjCoweq82XZ09X3tsHDefmA9mq_fHgp1hC21VhsbKQBFkma3XP3ZzQakQJlHSgVG8ep2iDkYYYoEtcx3kSOuaL0BtgIUBopiNPBWmYIaXNkTpExW6AItQ6Z7v9hB4XWMVWVmxySk2miAg5clZAZokoLUlINPqGOWksegXlQQ2bw19CNH4IvjtWMEwMrbmgIOjWKpr1POwT-AYa5qcI9GJ7ONwc3xK2O3EHLOydSNnDl6wXdMdNkPobAr1jz83zgbofmYa43WUg_MDFG-cfEHUxIrMP9GxH9W4cLlENt9GM5thfEWGHvJ1ZianEwODJRg4JJYVXCB89q1IXik-ex61SCiJTX8T2Y2EBoS7GKxIAiUASRFgrRrQJ-nTviypE-nWBO_TjG_zVtM9mujT8mdOlC04tNrXROs2lH7FTPL9KE3yibDZhECs8b7pNbYaO43tTp2y75bH8tM0--L7JRYVXpZXgXiDjAbH-665NEpjO7joPC4Gc_AHoTbCeqO45lJLLInF2hFmczVRHePV931m3iC7ldBRa3rNZ51a7cPzDRIIKBPTpJuQysnjVs1MJg86-yz-y3D8bQXPMPmWP0nR6KO0b7o8OHHq27g7bsI50ZkjmS9FzHM-qXx2fq5WnZOezFwqOB3Yxs-oowj_n8-qTvf2MrrnaZySZmccGNnNhL9E7dC35Dc5wv_rMrKpxB-JlB9JOHQPNEikFQ-uI7ppMg2IVANd65gTPm5Ssphr27VS6LiVQptWCvFWCge30vpj9Pcja6rVCvZIW5K8Rntr4uAvT8OwqQ%2C%2C

<< def grani.ru. [ia;ft:1;porno:1]
grani.ru
link:"grani.ru"
porno:2
porno:1
grani.ru | link:"grani.ru"
porno:<450
ft:1 | ft:5
(ft:1 | ft:5)
(grani.ru | link:"grani.ru") porno:<450 << (ft:1 | ft:5)
qtree=cHicrVVPSBRRGP--t7P69iUybQg2UEyT6ChUM9GCCGl0WuoiHiKWiJTYVopVtgKRDpNBiIgIXaTjht0KKQgvdguKDu527Bx061wne-_Nmz_OjtuSzunNe9_3-77f7_u9GXaN9VDQoR9MYhMH8mCABSNwEcaCfbDBgSvZYnYSbsIdqOA6wkuEOsI7hB0E_nxGaOBd408PKyo4wtPawXUVuwRcG7CvyKoKjCoweq82XZ09X3tsHDefmA9mq_fHgp1hC21VhsbKQBFkma3XP3ZzQakQJlHSgVG8ep2iDkYYYoEtcx3kSOuaL0BtgIUBopiNPBWmYIaXNkTpExW6AItQ6Z7v9hB4XWMVWVmxySk2miAg5clZAZokoLUlINPqGOWksegXlQQ2bw19CNH4IvjtWMEwMrbmgIOjWKpr1POwT-AYa5qcI9GJ7ONwc3xK2O3EHLOydSNnDl6wXdMdNkPobAr1jz83zgbofmYa43WUg_MDFG-cfEHUxIrMP9GxH9W4cLlENt9GM5thfEWGHvJ1ZianEwODJRg4JJYVXCB89q1IXik-ex61SCiJTX8T2Y2EBoS7GKxIAiUASRFgrRrQJ-nTviypE-nWBO_TjG_zVtM9mujT8mdOlC04tNrXROs2lH7FTPL9KE3yibDZhECs8b7pNbYaO43tTp2y75bH8tM0--L7JRYVXpZXgXiDjAbH-665NEpjO7joPC4Gc_AHoTbCeqO45lJLLInF2hFmczVRHePV931m3iC7ldBRa3rNZ51a7cPzDRIIKBPTpJuQysnjVs1MJg86-yz-y3D8bQXPMPmWP0nR6KO0b7o8OHHq27g7bsI50ZkjmS9FzHM-qXx2fq5WnZOezFwqOB3Yxs-oowj_n8-qTvf2MrrnaZySZmccGNnNhL9E7dC35Dc5wv_rMrKpxB-JlB9JOHQPNEikFQ-uI7ppMg2IVANd65gTPm5Ssphr27VS6LiVQptWCvFWCge30vpj9Pcja6rVCvZIW5K8Rntr4uAvT8OwqQ%2C%2C

<< abc bcd cde def
tr:(bbcdd) def softness:6 zone_softness:tr-20 keyprefix:11
tr:(bbcdd) def softness:6 zone_softness:tr-10
tr:(bbcdd) def softness:6
tr:(abcdd) def softness:6
tr:(abcde) def softness:6
tr:(abcde cdef) def softness:6
tr:(bbcde adef) def softness:6

<<
a

<< a
!a
a
b

<< a b
a
b
a | b
b & a
a & b
a /(1 1) b
b /(1 1) a
(b /(1 1) a)
(b /(1 1) a)//100
"a b"
"b a"
a | c
b & c
a && b
a &&/(1 1) b

<< a . b
a && b
a &&/1 b
a &&/(0 0) b
a &&/(1 1) b
a &&/(2 2) b

<< a b c
a /(2 2) c
(a /(2 2) c) /0 b

<< a b def c. c d a b. b a c. def b c. a k k b c. b c b b. a fcuk.

(a | b) inpos:60..12000
a b inpos:60..12000
a
a & b
a & b & c
a && b
a /+2 k
((a /1 b) | def) & c
((a /+1 b) | def) & c
a ~ b
a ~/+2 k

<< (z a b )z (z c d )z
z:(a & b)
z:(b & c)
z:((b & c))
z:((b & c)) | z:((a & d))
z:(a ~ b)
z:(a ~ c)

<<
:empty base
:0.0.1
a
:(why no message?)
:0.0.2
()
:0.0.3
[]
:0.0.4
""
:0.0.5
( )
:0.0.6
[ ]
:0.0.7
" "
:0.0.8
.
:empty base with space
<<
:0.1.1
a
:0.1.2
()
:0.1.3
[]
:0.1.4
""
:0.1.5
( )
:0.1.6
[ ]
:0.1.7
" "
:0.1.8
.
:empty sentences in base
<< . .
:0.2.1
a
:0.2.2
()
:0.2.3
[]
:0.2.4
""
:0.2.5
( )
:0.2.6
[ ]
:0.2.7
" "
:0.2.8
.

:from "stupid.txt"

<< a
:1.0.1
a

:operators alone
:1.1.1
&
:1.1.2
&&
:1.1.3
|
:1.1.4
||
:1.1.5
~
:1.1.6
~~
:1.1.7
-
:1.1.8
& &
:1.1.9
& &&
:1.1.10
&& &
:1.1.11
& |
:1.1.12
| &
:1.1.13
& ~
:1.1.14
~ &
:1.1.15
& ~~
:1.1.16
~~ &
:1.1.17
&& &&
:1.1.18
&& |
:1.1.19
| &&
:1.1.20
&& ~
:1.1.21
~ &&
:1.1.22
&& ~~
:1.1.23
~~ &&
:1.1.24
| |
:1.1.25
| ~
:1.1.26
~ |
:1.1.27
| ~~
:1.1.28
~~ |
:1.1.29
~ ~
:1.1.30
~ ~~
:1.1.31
~~ ~
:1.1.32
~~ ~~
:empty brackets
:1.2.1
()
:1.2.2
(&)
:1.2.3
(&&)
:1.2.4
(|)
:1.2.5
(||)
:1.2.6
(~)
:1.2.7
(~~)
:1.2.8
(-)
:1.2.9
(& &)
:1.2.10
(& &&)
:1.2.11
(&& &)
:1.2.12
(& |)
:1.2.13
(| &)
:1.2.14
(& ~)
:1.2.15
(~ &)
:1.2.16
(& ~~)
:1.2.17
(~~ &)
:1.2.18
(&& &&)
:1.2.19
(&& |)
:1.2.20
(| &&)
:1.2.21
(&& ~)
:1.2.22
(~ &&)
:1.2.23
(&& ~~)
:1.2.24
(~~ &&)
:1.2.25
(| |)
:1.2.26
(| ~)
:1.2.27
(~ |)
:1.2.28
(| ~~)
:1.2.29
(~~ |)
:1.2.30
(~ ~)
:1.2.31
(~ ~~)
:1.2.32
(~~ ~)
:1.2.33
(~~ ~~)
:1.2.34
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

:incorrect bracketing
:1.3.1
(
:1.3.2
)
:1.3.3
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((())))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
:1.3.4
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

:if still alive
:1.4.0
a ~ b

:from simplest_positive.txt
:2.0.1
(aa | a)
:2.0.2
(a)
:2.0.3
a | b
:2.0.4
(a | b)
:2.0.5
b | a
:2.0.6
(b | a)

:with negation
:2.1.1
a b
:(why no message?)
:2.1.2
a  b
:(why no message?)
:2.1.3
a ~ b
:2.1.4
a ~~ b

:all-negative
:2.2.1
-b
:(why no message?)
:2.2.2
~ b
:(why no message?)
:2.2.3
~~ b
:(why no message?)

:redundant
:2.3.1
a | a
:2.3.2
(a | a)
:2.3.3
a & a
(NB: returned twice)
:2.3.4
a && a
(NB: returned twice)

:combined with empties
:2.4.1
a |
:2.4.2
a | ()
:2.4.3
| a
:2.4.4
() | a
:2.4.5
(a | )
:2.4.6
(((a)))
:2.4.7
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((a)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
:2.4.8
b | (a | )
:2.4.9
b | ( | a)
:2.4.10
(a | ) | b
:2.4.11
( | a) | b
:2.4.12
b | (a | ())
:2.4.13
(a | ()) | b
:2.4.14
b | (() | a)
:2.4.15
(() | a) | b
:2.4.16
b | (((a)))
:2.4.17
(((a))) | b
:2.4.18
b | (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((a)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
:2.4.19
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((a))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) | b

:embedded negation
:2.5.1
a ~ (b ~ a)
:2.5.2
a ~~ (b ~ a)
:2.5.2
a ~ (b ~~ a)
:2.5.3
a ~~ (b ~~ a)
:2.5.4
a ~ (a ~ a)
:2.5.5
a ~~ (a ~ a)
:2.5.6
a ~ (a ~~ a)
:2.5.7
a ~~ (a ~~ a)
:2.5.8
a ~ (b -(a | b))
:2.5.9
a ~ (b ~ (a | b))
:2.5.10
a ~ (b ~~ (a | b))
:2.5.11
a ~ (b ~ (a b))
:2.5.12
a ~ (b ~ (a ~ b))
:2.5.13
a ~ (b ~ (a ~~ b))
:2.5.14
a ~ (b ~~ (a b))
:2.5.15
a ~ (b ~~ (a ~ b))
:2.5.16
a ~ (b ~~ (a ~~ b))
:2.5.17
a ~~ (b -(a | b))
:2.5.18
a ~~ (b ~ (a | b))
:2.5.19
a ~~ (b ~~ (a | b))
:2.5.20
a ~~ (b ~ (a b))
:2.5.21
a ~~ (b ~ (a ~ b))
:2.5.22
a ~~ (b ~ (a ~~ b))
:2.5.23
a ~~ (b ~~ (a b))
:2.5.24
a ~~ (b ~~ (a ~ b))
:2.5.25
a ~~ (b ~~ (a ~~ b))

:double negation
:2.6.1
a ~  ~ a
:(why no message?)
:2.6.2
a ~~  ~ a
:(why no message?)
:2.6.3
a ~  ~~ a
:(why no message?)
:2.6.4
a ~~  ~~ a
:(why no message?)
:2.6.5
a ~ ( ~ a)
:(why no message?)
:2.6.6
a ~~ ( ~ a)
:(why no message?)
:2.6.7
a ~ ( ~~ a)
:(why no message?)
:2.6.8
a ~~ ( ~~ a)
:2.6.9
:(why no message?)

:if still alive
:2.7.0
a | b

:from simplest_negative.txt
:3.1.1
b
:(why no message?)
:3.1.2
b | b
:3.1.3
(b | b)
:3.1.4
(b)
:3.1.5
b | c
:3.1.6
(b | c)
:3.1.7
b c
:3.1.8
b ~ c
:3.1.9
b ~~ c
:3.1.10
b & b
:3.1.11
b && b
:3.1.12
b & c
:3.1.13
b && c
:3.1.14
a & b
:3.1.15
a && b
:3.1.16
aa
:3.1.17
aa & a
:3.1.18
aa && a
:3.1.18
aa b
:3.1.19
aa ~ b
:3.1.20
aa ~~ b

:negation
:3.2.1
-a
:3.2.2
~ a
:(NB: initial negation ignored)
:3.2.3
~~ a
:(NB: initial negation ignored)
:3.2.4
a -a
:3.2.5
a ~ a
:3.2.6
a ~~ a
:3.2.7
(-a)
:3.2.8
(~ a)
:(NB: initial negation ignored)
:3.2.9
(~~ a)
:(NB: initial negation ignored)
:3.2.10
(a -a)
:3.2.11
(a ~ a)
:3.2.12
(a ~~ a)
:3.2.13
a -(a | b)
:3.2.14
a ~ (a | b)
:3.2.15
a ~~ (a | b)
:3.2.16
a ~ (a b)
:(NB: minus sign does not negate)
:3.2.17
a ~ (a ~ b)
:3.2.18
a ~ (a ~~ b)
:3.2.19
a ~~ (a b)
:(NB: minus sign does not negate)
:3.2.20
a ~~ (a ~ b)
:3.2.21
a ~~ (a ~~ b)
:3.2.22
(a | c) -(a | b)
:3.2.23
(a | c) ~ (a | b)
:3.2.24
(a | c) ~~ (a | b)
:3.2.25
(a | c) ~ (a b)
:(NB: minus sign does not negate)
:3.2.26
(a | c) ~ (a ~ b)
:3.2.27
(a | c) ~ (a ~~ b)
:3.2.28
(a | c) ~~ (a b)
:(NB: minus sign does not negate)
:3.2.29
(a | c) ~~ (a ~ b)
:3.2.30
(a | c) ~~ (a ~~ b)

:if still alive
:3.3.0
a

:from simplestnegative2.txt
:4.1.1
b | ~ a
:(NB: negation ignored)
:4.1.2
b | ~~ a
:(NB: negation ignored)
:4.1.3
b | ( ~ a)
:(NB: negation ignored)
:4.1.4
b | ( ~~ a)
:(NB: negation ignored)
:4.1.5
b & ~ a
:(why no message?)
:4.1.6
b & ~~ a
:4.1.7
b & ( ~ a)
:4.1.8
b & ( ~~ a)
:4.1.9
b && ~ a
:4.1.10
b && ~~ a
:4.1.11
b && ( ~ a)
:4.1.12
b && ( ~~ a)
:4.1.13
b ~ & a
:4.1.14
b ~~ & a
:4.1.15
b ~ && a
:4.1.16
b ~~ && a
:4.1.17
b | (~ & a)
:4.1.18
b | (~~ & a)
:4.1.19
b | (~ && a)
:4.1.20
b | (~~ && a)
:4.1.21
b | ~ & a
:4.1.22
b | ~~ & a
:4.1.23
b | ~ && a
:4.1.24
b | ~~ && a
:4.1.25
a & ~ b
:4.1.26
a & ~~ b
:4.1.27
a & ( ~ b)
:(why no message?)
:4.1.28
a & ( ~~ b)
:(why no message?)
:4.1.29
a && ~ b
:4.1.30
a && ~~ b
:4.1.31
a && ( ~ b)
:(why no message?)
:4.1.32
a && ( ~~ b)
:(why no message?)

:if still alive
:4.2.0
a ~ x

:from a_aa.txt

<< a aa
:5.0.1
aa
:5.0.2
aaa
:5.0.3
aaaa
:5.0.4
b
:5.0.5
a aa
:5.0.6
aa a
:(NB output ordering)

:stupid
:5.1.1
&
:5.1.2
&&
:5.1.3
|
:5.1.4
||
:5.1.5
~
:5.1.6
~~
:5.1.7
-
:5.1.8
& &
:5.1.9
& &&
:5.1.10
&& &
:5.1.11
& |
:5.1.12
| &
:5.1.13
& ~
:5.1.14
~ &
:5.1.15
& ~~
:5.1.16
~~ &
:5.1.17
&& &&
:5.1.18
&& |
:5.1.19
| &&
:5.1.20
&& ~
:5.1.21
~ &&
:5.1.22
&& ~~
:5.1.23
~~ &&
:5.1.24
| |
:5.1.25
| ~
:5.1.26
~ |
:5.1.27
| ~~
:5.1.28
~~ |
:5.1.29
~ ~
:5.1.30
~ ~~
:5.1.31
~~ ~
:5.1.32
~~ ~~
:brackets
:5.2.1
()
:5.2.2
(&)
:5.2.3
(&&)
:5.2.4
(|)
:5.2.5
(||)
:5.2.6
(~)
:5.2.7
(~~)
:5.2.8
(-)
:5.2.9
(& &)
:5.2.10
(& &&)
:5.2.11
(&& &)
:5.2.12
(& |)
:5.2.13
(| &)
:5.2.14
(& ~)
:5.2.15
(~ &)
:5.2.16
(& ~~)
:5.2.17
(~~ &)
:5.2.18
(&& &&)
:5.2.19
(&& |)
:5.2.20
(| &&)
:5.2.21
(&& ~)
:5.2.22
(~ &&)
:5.2.23
(&& ~~)
:5.2.24
(~~ &&)
:5.2.25
(| |)
:5.2.26
(| ~)
:5.2.27
(~ |)
:5.2.28
(| ~~)
:5.2.29
(~~ |)
:5.2.30
(~ ~)
:5.2.31
(~ ~~)
:5.2.32
(~~ ~)
:5.2.33
(~~ ~~)
:5.2.34
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

:incorrect bracketing
:5.3.1
(
:5.3.2
)
:5.3.3
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((())))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
:5.3.4
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

:simplest positive
:5.4.1
a
:5.4.2
(aaa | a)
:5.4.3
(a)
:5.4.4
a | b
:5.4.5
(a | b)
:5.4.6
b | a
:5.4.7
(b | a)

:with negation
:5.5.1
a ~ b
:5.5.2
a ~~ b
:5.5.3
~ b
:(NB: initial negation ignored)
:5.5.4
~~ b
:(NB: initial negation ignored)

:redundant
:5.6.1
a | a
:5.6.2
(a | a)
:5.6.3
a & a
(NB: returned twice)
:5.6.4
a && a
(NB: returned twice)

:combined with empties
:5.7.1
a |
:5.7.2
a | ()
:5.7.3
| a
:5.7.4
() | a
:5.7.5
(a | )
:5.7.6
(((a)))
:5.7.7
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((a)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
:5.7.8
b | (a | )
:5.7.9
b | ( | a)
:5.7.10
(a | ) | b
:5.7.11
( | a) | b
:5.7.12
b | (a | ())
:5.7.13
(a | ()) | b
:5.7.14
b | (() | a)
:5.7.15
(() | a) | b
:5.7.16
b | (((a)))
:5.7.17
(((a))) | b
:5.7.18
b | (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((a)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
:5.7.19
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((a))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) | b

:embedded negation
:5.8.1
a ~ (b ~ a)
:5.8.2
a ~~ (b ~ a)
:5.8.3
a ~ (b ~~ a)
:5.8.4
a ~~ (b ~~ a)
:5.8.5
a ~ (a ~ a)
:5.8.6
a ~~ (a ~ a)
:5.8.7
a ~ (a ~~ a)
:5.8.8
a ~~ (a ~~ a)
:5.8.9
a ~ (b ~ (a | b))
:5.8.10
a ~ (b ~~ (a | b))
:5.8.11
a ~ (b ~ (a ~ b))
:5.8.12
a ~ (b ~ (a ~~ b))
:5.8.13
a ~ (b ~~ (a ~ b))
:5.8.14
a ~ (b ~~ (a ~~ b))
:5.8.15
a ~~ (b ~ (a | b))
:5.8.16
a ~~ (b ~~ (a | b))
:5.8.17
a ~~ (b ~ (a ~ b))
:5.8.18
a ~~ (b ~ (a ~~ b))
:5.8.19
a ~~ (b ~~ (a ~ b))
:5.8.20
a ~~ (b ~~ (a ~~ b))

:double negation
:5.9.1
a ~  ~ a
:5.9.2
a ~~  ~ a
:5.9.3
a ~  ~~ a
:5.9.4
a ~~  ~~ a
:5.9.5
a ~ ( ~ a)
:5.9.6
a ~~ ( ~ a)
:5.9.7
a ~ ( ~~ a)
:5.9.8
a ~~ ( ~~ a)

:positive for aa
:5.10.0.1
aa
:5.10.0.2
(aaa | aa)
:5.10.0.3
(aa)
:5.10.0.4
aa | b
:5.10.0.5
(aa | b)
:5.10.0.6
b | aa
:5.10.0.7
(b | aa)

:2with negation
:5.10.1.1
aa ~ b
:5.10.1.2
aa ~~ b

:2redundant
:5.10.2.1
aa | aa
:5.10.2.2
(aa | aa)
:5.10.2.3
aa & aa
(NB: returned twice)
:5.10.2.4
aa && aa
(NB: returned twice)

:2combined with empties
:5.10.3.1
aa |
:5.10.3.2
aa | ()
:5.10.3.3
| aa
:5.10.3.4
() | aa
:5.10.3.5
(aa | )
:5.10.3.6
(((aa)))
:5.10.3.7
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((aa)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
:5.10.3.8
b | (aa | )
:5.10.3.9
b | ( | aa)
:5.10.3.10
(aa | ) | b
:5.10.3.11
( | aa) | b
:5.10.3.12
b | (aa | ())
:5.10.3.13
(aa | ()) | b
:5.10.3.14
b | (() | aa)
:5.10.3.15
(() | aa) | b
:5.10.3.16
b | (((aa)))
:5.10.3.17
(((aa))) | b
:5.10.3.18
b | (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((aa)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
:5.10.3.19
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((aa))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) | b

:2embedded negation
:5.10.4.1
aa ~ (b ~ aa)
:5.10.4.2
aa ~~ (b ~ aa)
:5.10.4.3
aa ~ (b ~~ aa)
:5.10.4.4
aa ~~ (b ~~ aa)
:5.10.4.5
aa ~ (aa ~ aa)
:5.10.4.6
aa ~~ (aa ~ aa)
:5.10.4.7
aa ~ (aa ~~ aa)
:5.10.4.8
aa ~~ (aa ~~ aa)
:5.10.4.9
aa ~ (b ~ (aa | b))
:5.10.4.10
aa ~ (b ~~ (aa | b))
:5.10.4.11
aa ~ (b ~ (aa ~ b))
:5.10.4.12
aa ~ (b ~ (aa ~~ b))
:5.10.4.13
aa ~ (b ~~ (aa ~ b))
:5.10.4.14
aa ~ (b ~~ (aa ~~ b))
:5.10.4.15
aa ~~ (b ~ (aa | b))
:5.10.4.16
aa ~~ (b ~~ (aa | b))
:5.10.4.17
aa ~~ (b ~ (aa ~ b))
:5.10.4.18
aa ~~ (b ~ (aa ~~ b))
:5.10.4.19
aa ~~ (b ~~ (aa ~ b))
:5.10.4.20
aa ~~ (b ~~ (aa ~~ b))

:2double negation
:5.10.5.1
aa ~  ~ aa
:5.10.5.2
aa ~~  ~ aa
:5.10.5.3
aa ~  ~~ aa
:5.10.5.4
aa ~~  ~~ aa
:5.10.5.5
aa ~ ( ~ aa)
:5.10.5.6
aa ~~ ( ~ aa)
:5.10.5.7
aa ~ ( ~~ aa)
:5.10.5.8
aa ~~ ( ~~ aa)
:5.10.5.9
aa ~ (aa ~ a)
:5.10.5.10
aa ~~ (aa ~ a)
:5.10.5.11
aa ~ (aa ~~ a)
:5.10.5.12
aa ~~ (aa ~~ a)

:properly

:embedded negation aa
:5.11.1
a ~ (b ~ aa)
:5.11.2
a ~~ (b ~ aa)
:5.11.3
a ~ (b ~~ aa)
:5.11.4
a ~~ (b ~~ aa)
:5.11.5
a ~ (a ~ aa)
:5.11.6
a ~~ (a ~ aa)
:5.11.7
a ~ (a ~~ aa)
:5.11.8
a ~~ (a ~~ aa)
:5.11.9
a ~ (aa ~ aa)
:5.11.10
a ~~ (aa ~ aa)
:5.11.11
a ~ (aa ~~ aa)
:5.11.12
a ~~ (aa ~~ aa)
:5.11.13
a ~ (b ~ (aa | b))
:5.11.14
a ~ (b ~~ (aa | b))
:5.11.15
a ~ (b ~ (aa ~ b))
:5.11.16
a ~ (b ~ (aa ~~ b))
:5.11.17
a ~ (b ~~ (aa ~ b))
:5.11.18
a ~ (b ~~ (aa ~~ b))
:5.11.19
a ~~ (b ~ (aa | b))
:5.11.20
a ~~ (b ~~ (aa | b))
:5.11.21
a ~~ (b ~ (aa ~ b))
:5.11.22
a ~~ (b ~ (aa ~~ b))
:5.11.23
a ~~ (b ~~ (aa ~ b))
:5.11.24
a ~~ (b ~~ (aa ~~ b))

:if still alive
:5.12.0
a ~ b

:from simplestlongword.txt

<< wordorderedasaaa
: positive 16
:6.1.1
wordorderedasaaa
: negative 16
:6.1.2
wordorderedasaba

<< amorelongishcoolwordorderedasaaa
: positive 32
:6.2.1
amorelongishcoolwordorderedasaaa
: negative 32
:6.2.2
amorelongishcoolwordorderedasaba

<< amorelongishwordamorelongishwordamorelongishwordwhosenumberisaaa
: positive 64
:6.3.1
amorelongishwordamorelongishwordamorelongishwordwhosenumberisaaa
:(why no message?)
: negative 64
:6.3.2
amorelongishwordamorelongishwordamorelongishwordwhosenumberisaba
:(why no message?)

<< alittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordwhoseactualexactnumberwouldbeaaa
: positive 256
:6.4.1
alittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordwhoseactualexactnumberwouldbeaaa
:(why no message?)
: negative 256
:6.4.2
alittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordalittlebitlongerthanitsusualwordwhoseactualexactnumberwouldbeaba
:(why no message?)

<< reallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordwhoseactualexactlistnumberwouldmostprobablybepreciselyequaltoaaa
: positive 1024
:6.5.1
reallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordwhoseactualexactlistnumberwouldmostprobablybepreciselyequaltoaaa
:(why no message?)
: negative 1024
:6.5.2
reallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordreallyandtruelymonstrouslylongandsomesayincrediblycumbersomewordwhoseactualexactlistnumberwouldmostprobablybepreciselyequaltoaba
:(why no message?)

: if still alive

<< a
:6.6.0
a ~ aaa

:from impliedbrackets.txt

<< a b c

:odd right bracket
:7.0.1
a | b) & x
:odd rightmost bracket
:7.0.2
x & a | b)
:odd leftmost bracket
:7.0.3
(x & a | b

:andor
:andor 1
:7.1.1.1
(x & a) | b
:7.1.1.2
x & (a | b)
:7.1.1.3
x & a | b
:(NB: OR stronger as delimiter)
:7.1.1.4
x & (a | b
:(NB: as if with rightmost bracket added?)
:7.1.1.5
(x & a | b
:andor 2
:7.1.2.1
(x & y) | a
:7.1.2.2
x & (y | a)
:7.1.2.3
x & y | a
:(NB: OR stronger as delimiter)
:7.1.2.4
x & (y | a
:(NB: as if with rightmost bracket added?)
:andor 3
:7.1.3.1
(x && a) | b
:7.1.3.2
x && (a | b)
:7.1.3.3
x && a | b
:(NB: OR stronger as delimiter)
:7.1.3.4
x && (a | b
:(NB: as if with rightmost bracket added?)
:andor 4
:7.1.4.1
(x && y) | a
:7.1.4.2
x && (y | a)
:7.1.4.3
x && y | a
:(NB: OR stronger as delimiter)
:7.1.4.4
x && (y | a
:(NB: as if with rightmost bracket added?)

:orand
:orand 1
:7.2.1.1
(a | b) & x
:7.2.1.2
a | (b & x)
:7.2.1.3
a | b & x
:7.2.1.4
a | (b & x

:orand 2
:7.2.2.1
(a | x) & y
:7.2.2.2
a | (x & y)
:7.2.2.3
a | x & y
:(NB: OR stronger as delimiter)
:7.2.2.4
a | (x & y
:(NB: as if with rightmost bracket added?)
:orand 3
:7.2.3.1
(a | b) && x
:7.2.3.2
a | (b && x)
:7.2.3.3
a | b && x
:(NB: OR stronger as delimiter)
:7.2.3.4
a | (b && x
:orand 4
:7.2.4.1
(a | x) && y
:7.2.4.2
a | (x && y)
:7.2.4.3
a | x && y
:(NB: OR stronger as delimiter)
:7.2.4.4
a | (x && y
:(NB: as if with rightmost bracket added?)

:woor
:woor 1
:7.3.1.1.1
(a ~ b) | c
:7.3.1.1.2
a ~ (b | c)
:7.3.1.1.3
a ~ b | c
:(NB: OR stronger as delimiter)
:7.3.1.1.4
a ~ (b | c
(why [1.1]?)
:woor 2
:7.3.1.2.1
(a ~ x) | b
:7.3.1.2.2
a ~ (x | b)
:7.3.1.2.3
a ~ x | b
:(NB: OR stronger as delimiter)
:7.3.1.2.4
a ~ (x | b
(why [1.1]?)
:woor 3
:7.3.1.3.1
(x ~ a) | b
:7.3.1.3.2
x ~ (a | b)
:7.3.1.3.3
x ~ a | b
:(NB: OR stronger as delimiter)
:7.3.1.3.4
x ~ (a | b
:(NB: as if with rightmost bracket added?)
:woor 4
:7.3.1.4.1
(x ~ y) | a
:7.3.1.4.2
x ~ (y | a)
:7.3.1.4.3
x ~ y | a
:(NB: OR stronger as delimiter)
:7.3.1.4.4
x ~ (y | a
:(NB: as if with rightmost bracket added?)
:woor 1a
:7.3.2.1.1
(a ~~ b) | c
:7.3.2.1.2
a ~~ (b | c)
:7.3.2.1.3
a ~~ b | c
:(NB: OR stronger as delimiter)
:7.3.2.1.4
a ~~ (b | c
(why [1.1]?)
:woor 2a
:7.3.2.2.1
(a ~~ x) | b
:7.3.2.2.2
a ~~ (x | b)
:7.3.2.2.3
a ~~ x | b
:(NB: OR stronger as delimiter)
:7.3.2.2.4
a ~~ (x | b
(why only [1.1]?)
:woor 3a
:7.3.2.3.1
(x ~~ a) | b
:7.3.2.3.2
x ~~ (a | b)
:7.3.2.3.3
x ~~ a | b
:(NB: OR stronger as delimiter)
:7.3.2.3.4
x ~~ (a | b
:(NB: as if with rightmost bracket added?)

:woor 4a
:7.3.2.4.1
(x ~~ y) | a
:7.3.2.4.2
x ~~ (y | a)
:7.3.2.4.3
x ~~ y | a
:(NB: OR stronger as delimiter)
:7.3.2.4.4
x ~~ (y | a

:woand
:woand 1
:7.4.1.1.1
(a ~ b) & x
:7.4.1.1.2
a ~ (b & x)
:7.4.1.1.3
a ~ b & x
:(NB: negation stronger as delimiter)
:7.4.1.1.4
a ~ (b & x
:(NB: as if with rightmost bracket added?)
:woand 2
:7.4.1.2.1
(a ~ x) & y
:7.4.1.2.2
a ~ (x & y)
:7.4.1.2.3
a ~ x & y
:(NB: negation stronger as delimiter)
:7.4.1.2.4
a ~ (x & y
:(NB: as if with rightmost bracket added?)
:woand 1a
:7.4.2.1.1
(a ~ b) && x
:7.4.2.1.2
a ~ (b && x)
:7.4.2.1.3
a ~ b && x
:(NB: negation stronger as delimiter)
:7.4.2.1.4
a ~ (b && x
:(NB: as if with rightmost bracket added?)
:woand 2a
:7.4.2.2.1
(a ~ x) && y
:7.4.2.2.2
a ~ (x && y)
:7.4.2.2.3
a ~ x && y
:(NB: negation stronger as delimiter)
:7.4.2.2.4
a ~ (x && y
:(NB: as if with rightmost bracket added?)
:woand 1b
:7.4.3.1.1
(a ~~ b) & x
:7.4.3.1.2
a ~~ (b & x)
:7.4.3.1.3
a ~~ b & x
:(NB: negation stronger as delimiter)
:7.4.3.1.4
a ~~ (b & x
:(NB: as if with rightmost bracket added?)
:woand 2b
:7.4.3.2.1
(a ~~ x) & y
:7.4.3.2.2
a ~~ (x & y)
:7.4.3.2.3
a ~~ x & y
:(NB: negation stronger as delimiter)
:7.4.3.2.4
a ~~ (x & y
:(NB: as if with rightmost bracket added?)
:woand 1c
:7.4.4.1.1
(a ~~ b) && x
:7.4.4.1.2
a ~~ (b && x)
:7.4.4.1.3
a ~~ b && x
:(NB: negation stronger as delimiter)
:7.4.4.1.4
a ~~ (b && x
:(NB: as if with rightmost bracket added?)
:woand 2c
:7.4.4.2.1
(a ~~ x) && y
:7.4.4.2.2
a ~~ (x && y)
:7.4.4.2.3
a ~~ x && y
:(NB: negation stronger as delimiter)
:7.4.4.2.4
a ~~ (x && y
:(NB: as if with rightmost bracket added?)

:orwo
:orwo 1
:7.5.1.1.1
(a | b) ~ c
:7.5.1.1.2
a | (b ~ c)
:7.5.1.1.3
a | b ~ c
:(NB: OR stronger as delimiter)
:7.5.1.1.4
a | (b ~ c
:(NB: as if with rightmost bracket added?)
:orwo 2
:7.5.1.2.1
(a | x) ~ b
:7.5.1.2.2
a | (x ~ b)
:7.5.1.2.3
a | x ~ b
:(NB: OR stronger as delimiter)
:7.5.1.2.4
a | (x ~ b
:(NB: as if with rightmost bracket added?)
:orwo 1a
:7.5.2.1.1
(a | b) ~~ c
:7.5.2.1.2
a | (b ~~ c)
:7.5.2.1.3
a | b ~~ c
:(NB: OR stronger as delimiter)
:7.5.2.1.4
a | (b ~~ c
:(NB: as if with rightmost bracket added?)
:orwo 2a
:7.5.2.2.1
(a | x) ~~ b
:7.5.2.2.2
a | (x ~~ b)
:7.5.2.2.3
a | x ~~ b
:(NB: OR stronger as delimiter)
:7.5.2.2.4
a | (x ~~ b
:(NB: as if with rightmost bracket added?)

:wowo
:wowo 1
:7.6.1.1.1
(a ~ b) ~ c
:7.6.1.1.2
a ~ (b ~ c)
:7.6.1.1.3
a ~ b ~ c
(NB: as if last part outside brackets)
:7.6.1.1.4
a ~ (b ~ c
:(NB: as if with rightmost bracket added?)
:wowo 2
:7.6.1.2.1
(a ~ x) ~ b
:7.6.1.2.2
a ~ (x ~ b)
:7.6.1.2.3
a ~ x ~ b
(NB: as if last part outside brackets)
:7.6.1.2.4
a ~ (x ~ b
:(NB: as if with rightmost bracket added?)
:wowo 1a
:7.6.2.1.1
(a ~~ b) ~ c
:7.6.2.1.2
a ~~ (b ~ c)
:7.6.2.1.3
a ~~ b ~ c
(NB: as if last part outside brackets)
:7.6.2.1.4
a ~~ (b ~ c
:(NB: as if with rightmost bracket added?)
:wowo 2a
:7.6.2.2.1
(a ~~ x) ~ b
:7.6.2.2.2
a ~~ (x ~ b)
:7.6.2.2.3
a ~~ x ~ b
(NB: as if last part outside brackets)
:7.6.2.2.4
a ~~ (x ~ b
:(NB: as if with rightmost bracket added?)
:wowo 1b
:7.6.3.1.1
(a ~ b) ~~ c
:7.6.3.1.2
a ~ (b ~~ c)
:7.6.3.1.3
a ~ b ~~ c
(NB: as if last part outside brackets)
:7.6.3.1.4
a ~ (b ~~ c
:(NB: as if with rightmost bracket added?)
:wowo 2b
:7.6.3.2.1
(a ~ x) ~~ b
:7.6.3.2.2
a ~ (x ~~ b)
:7.6.3.2.3
a ~ x ~~ b
(NB: as if last part outside brackets)
:7.6.3.2.4
a ~ (x ~~ b
:(NB: as if with rightmost bracket added?)
:wowo 1c
:7.6.4.1.1
(a ~~ b) ~~ c
:7.6.4.1.2
a ~~ (b ~~ c)
:7.6.4.1.3
a ~~ b ~~ c
(NB: as if last part outside brackets)
:7.6.4.1.4
a ~~ (b ~~ c
:(NB: as if with rightmost bracket added?)
:wowo 2c
:7.6.4.2.1
(a ~~ x) ~~ b
:7.6.4.2.2
a ~~ (x ~~ b)
:7.6.4.2.3
a ~~ x ~~ b
(NB: as if last part outside brackets)
:7.6.4.2.4
a ~~ (x ~~ b
:(NB: as if with rightmost bracket added?)

:if still alive
:7.7.0
a

:from spaceasand.txt

<< c b a
:8.0.1
a b c
:8.0.2
c b a
:8.0.3
x y c b a
:8.0.4
c b a x y

:andor
:andor 1
:8.1.1.1
(x a) | b
:8.1.1.2
x (a | b)
:8.1.1.3
x a | b
:8.1.1.4
x (a | b
:andor 2
:8.1.2.1
(x y) | a
:8.1.2.2
x (y | a)
:8.1.2.3
x y | a
:8.1.2.4
x (y | a

:orand
:orand 1
:8.2.1.1
(a | b) x
:8.2.1.2
a | (b x)
:8.2.1.3
a | b x
:8.2.1.4
a | (b x
:orand 2
:8.2.2.1
(a | x) y
:8.2.2.2
a | (x y)
:8.2.2.3
a | x y
:8.2.2.4
a | (x y

:woand
:woand 1
:8.3.1.1.1
(a ~ b) x
:8.3.1.1.2
a ~ (b x)
:8.3.1.1.3
a ~ b x
:8.3.1.1.4
a ~ (b x
:woand 2
:8.3.1.2.1
(a ~ x) y
:8.3.1.2.2
a ~ (x y)
:8.3.1.2.3
a ~ x y
:8.3.1.2.4
a ~ (x y
:woand 1b
:8.3.2.1.1
(a ~~ b) x
:8.3.2.1.2
a ~~ (b x)
:8.3.2.1.3
a ~~ b x
:8.3.2.1.4
a ~~ (b x
:woand 2b
:8.3.2.2.1
(a ~~ x) y
:8.3.2.2.2
a ~~ (x y)
:8.3.2.2.3
a ~~ x y
:8.3.2.2.4
a ~~ (x y

:if still alive
:8.4.0
a

:from morespacesasand.txt
:9.0.1
a                                                                b                                                                c
:9.0.2
c                                                                b                                                                a
:9.0.3
x                                                                y                                                                c                                                                b                                                                a
:9.0.4
c                                                                b                                                                a                                                                x                                                                y

:andor
:1
:9.1.1.1
(x                                                                a)                                                                |                                                                b
:9.1.1.2
x                                                                (a                                                                |                                                                b)
:9.1.1.3
x                                                                a                                                                |                                                                b
:2
:9.1.2.1
(x                                                                y)                                                                |                                                                a
:9.1.2.2
x                                                                (y                                                                |                                                                a)
:9.1.2.3
x                                                                y                                                                |                                                                a

:orand
:1
:9.2.1.1
(a                                                                |                                                                b)                                                                x
:9.2.1.2
a                                                                |                                                                (b                                                                x)
:9.2.1.3
a                                                                |                                                                b                                                                x
:2
:9.2.2.1
(a                                                                |                                                                x)                                                                y
:9.2.2.2
a                                                                |                                                                (x                                                                y)
:9.2.2.3
a                                                                |                                                                x                                                                y

:woand
:1
:9.3.1.1.1
(a                                                                ~                                                                b)                                                                x
:9.3.1.1.2
a                                                                ~                                                                (b                                                                x)
:9.3.1.1.3
a                                                                ~                                                                b                                                                x
:2
:9.3.1.2.1
(a                                                                ~                                                                x)                                                                y
:9.3.1.2.2
a                                                                ~                                                                (x                                                                y)
:9.3.1.2.3
a                                                                ~                                                                x                                                                y
:1b
:9.3.2.1.1
(a                                                                ~~                                                                b)                                                                x
:9.3.2.1.2
a                                                                ~~                                                                (b                                                                x)
:9.3.2.1.3
a                                                                ~~                                                                b                                                                x
:2b
:9.3.2.2.1
(a                                                                ~~                                                                x)                                                                y
:9.3.2.2.2
a                                                                ~~                                                                (x                                                                y)
:9.3.2.2.3
a                                                                ~~                                                                x                                                                y


:if                                                                still                                                                alive
:9.4.0
a

:from sentences.txt

<< a b c. m n. o p

:no bracketing
:pos
:10.1.1.1
a & c
:10.1.1.2
c & a
:10.1.1.3
c && m
:10.1.1.4
b && p
:10.1.1.5
a b
:10.1.1.6
c a
:10.1.1.7
a m
:10.1.1.8
a p
:10.1.1.9
o b

:neg
:10.1.2.1
c & m
:10.1.2.2
a & p
:10.1.2.3
o & c

:implied bracketing
:pos
:10.2.1.1
a & b & c
:10.2.1.2
c & b & a
:10.2.1.3
a & c && m
:10.2.1.4
a & c m
:10.2.1.5
a c & b
:10.2.1.6
c a & b
:10.2.1.7
b & a c
:10.2.1.8
b & c a
:10.2.1.9
c a && m
:10.2.1.10
c a && p
:10.2.1.11
p o && b
:10.2.1.12
p a && m
:10.2.1.13
c a m
:10.2.1.14
c a p
:10.2.1.15
p o b
:10.2.1.16
p a m
:10.2.1.17
m && c a
:10.2.1.18
p && c a
:10.2.1.19
b && p o
:10.2.1.20
m && p a
:10.2.1.21
m c a
:10.2.1.22
p c a
:10.2.1.23
b p o
:10.2.1.24
m p a

:dubious
:10.2.2.1
a & m && c
:(why anything?)
:10.2.2.2
a && c & m
:(why anything?)
:10.2.2.3
a c & m
:(why anything?)
:10.2.2.4
c a & m
:(why anything?)
:10.2.2.5
a && c & o && p
:(why anything?)
:10.2.2.6
a && c && b & p && o & m n
:(why anything?)
:10.2.2.7
a && c & o p & b && c & n && m & b a
:(why anything?)

:neg
:10.2.3.1
a & c & m
:10.2.3.2
a & m & c
:10.2.3.3
a & p & c
:10.2.3.4
p & a & c

:explicit bracketing
:pos
:10.3.1.1
(a & b) & c
:10.3.1.2
c & (a & b)
:10.3.1.3
(a & b) && c
:10.3.1.4
c && (a & b)
:10.3.1.5
c && (b & a)
:10.3.1.6
(a && b) & c
:10.3.1.7
c & (b && a)
:10.3.1.8
(m & n) && p
:10.3.1.9
(m & n) && b
:10.3.1.10
p && (m & n)
:10.3.1.11
b && (m & n)
:10.3.1.12
(m && p) n
:(why range [2.1]-[3.2]?)
:10.3.1.13
(c && o) a
:(why range [1.3]-[3.1]?)
:10.3.1.14
n (m && p)
:(why range [2.1]-[3.2]?)
:10.3.1.15
a (c && o)
:(why range [1.3]-[3.1]?)
:10.3.1.16
(m && p) o
:(why range [2.1]-[3.2]?)
:10.3.1.17
(c && o) p
:(why range [1.3]-[3.1]?)
:10.3.1.18
o (m && p)
:(why range [2.1]-[3.2]?)
:10.3.1.19
p (c && o)
:10.3.1.20
:(why range [1.3]-[3.1]?)

:dubious
:10.3.2.1
(m && p) & n
:(why [2.2]?)
:10.3.2.2
(m && p) & o
:(why anything?)
:10.3.2.3
(m && p) & o & n
:10.3.2.4
(m && p) & n & o
:10.3.2.5
(m && p) & a
:10.3.2.6
n & (m && p)
:10.3.2.7
o & (m && p)
:(why anything?)
:10.3.2.8
n & o & (m && p)
:10.3.2.9
o & n & (m && p)
:10.3.2.10
a & (m && p)
:10.3.2.11
n & (m && p) & o
:10.3.2.12
o & (m && p) & n
:10.3.2.13
(c && o) & a
:(why range [1.3]-[3.1]? why [1.1]?)
:10.3.2.14
(c && o) & p
:(why range [1.3]-[3.1]?)
:10.3.2.15
(c && o) & a & p
:(why range [1.3]-[3.1]?)
:10.3.2.16
(c && o) & p & a
:(why range [1.3]-[3.1]?)
:10.3.2.17
(c && o) & m
:10.3.2.18
a & (c && o)
:10.3.2.19
p & (c && o)
:(why anything?)
:10.3.2.20
a & p & (c && o)
:(why anything?)
:10.3.2.21
p & a & (c && o)
:(why anything?)
:10.3.2.22
n & (c && o)
:10.3.2.23
a & (c && o) & p
:(why anything?)
:10.3.2.24
p & (c && o) & a
:(why anything?)

:neg
:10.3.3.1
(m & a) && p
:10.3.3.2
(m & a) && b
:10.3.3.3
p && (m & a)
:10.3.3.4
b && (m & a)

:stupid neg
:10.4.1
a & c && x
:10.4.2
a c & x
:10.4.3
c a & x
:10.4.4
c a && x
:10.4.5
c a && x
:10.4.6
p x && a
:10.4.7
x c & a
:10.4.8
x p && a
:10.4.9
(m & n) && x
:10.4.10
(m & x) && b
:10.4.11
(m && p) & x
:10.4.12
(c && x) & a
:10.4.13
(m && p) x
:10.4.14
(c && x) a
:10.4.15
a & x && c
:10.4.16
a c & x
:10.4.17
c a & x
:10.4.18
p a && x
:10.4.19
(m && x) & o
:10.4.20
(c && o) & x
:10.4.21
(m && x) o
:10.4.22
(c && o) x

:if still alive
:10.5.0
a

:from sentences_wo.txt

:no bracketing
:pos
:11.1.1.1
a ~ p
:11.1.1.2
p ~ a
:11.1.1.3
c ~~ x
:11.1.1.4
m ~ x

:neg
:11.1.2.1
c ~~ m
:11.1.2.2
a ~~ p
:11.1.2.3
o ~~ c
:11.1.2.4
m ~~ b
:11.1.2.5
a ~ c
:11.1.2.6
a ~ b
:11.1.2.7
n ~ m
:11.1.2.8
o ~ p
:11.1.2.9
x ~ b
:11.1.2.10
x ~~ m
:11.1.2.11
x ~ o

:implied bracketing
:neg
:11.2.1.1
a & b ~ c
:11.2.1.2
a & b ~~ c
:11.2.1.3
c ~ b & a
:11.2.1.4
c ~~ b & a
:11.2.1.5
a & c ~~ m
:11.2.1.6
a ~ c m
:11.2.1.7
a c ~ b
:11.2.1.8
c a ~ b
:11.2.1.9
b ~ a c
:11.2.1.10
b ~ c a
:11.2.1.11
c a ~~ m
:11.2.1.12
c a ~~ p
:11.2.1.13
p o ~~ b
:11.2.1.14
p a ~~ m
:11.2.1.15
m ~~ c a
:11.2.1.16
p ~~ c a
:11.2.1.17
b ~~ p o
:11.2.1.18
m ~~ p a

:dubious
:11.2.2.1
a b & p ~ m
:(why anything?)
:11.2.2.2
a b & p ~ c
:11.2.2.3
a b & p ~ o
:(why anything?)
:11.2.2.4
a && b & p ~ m
:(why anything?)
:11.2.2.5
a && b & p ~ c
:11.2.2.6
a && b & p ~ o
:(why anything?)
:11.2.2.7
a ~ b & p
:11.2.2.8
a ~ b & p ~ m
:11.2.2.9
a ~ b & p ~ c
:11.2.2.10
a ~ b & p ~ o
:11.2.2.11
a ~~ b & p
:11.2.2.12
a ~~ b & p ~ m
:11.2.2.13
a ~~ b & p ~ c
:11.2.2.14
a ~~ b & p ~ o
:11.2.2.15
a ~~ o & p
:11.2.2.16
a ~~ o & p ~ m
:11.2.2.17
a ~~ o & p ~ c
:11.2.2.18
a ~~ m & n ~ p

:explicit bracketing
:none local
:11.3.1.1.1
(a b p) ~ m
:11.3.1.1.2
(a b p) ~~ m

:11.3.1.2.1
(a & b p) ~ m
:11.3.1.2.2
(a & b p) ~~ m

:11.3.1.3.1
(a && b p) ~ m
:11.3.1.3.2
(a && b p) ~~ m

:11.3.1.4.1
(a ~ b p) ~ m
:11.3.1.4.2
(a ~ b p) ~~ m

:11.3.1.5.1
(a ~~ b p) ~ m
:11.3.1.5.2
(a ~~ b p) ~~ m

:11.3.1.6.1
(a b & p) ~ m
:(why anything?)
:11.3.1.6.2
(a b & p) ~~ m

:11.3.1.7.1
(a & b & p) ~ m
:11.3.1.7.2
(a & b & p) ~~ m

:11.3.1.8.1
(a && b & p) ~ m
:(why anything?)
:11.3.1.8.2
(a && b & p) ~~ m

:11.3.1.9.1
(a ~ b & p) ~ m
:11.3.1.9.2
(a ~ b & p) ~~ m

:11.3.1.10.1
(a ~~ b & p) ~ m
:11.3.1.10.2
(a ~~ b & p) ~~ m

:11.3.1.11.1
(a b && p) ~ m
:11.3.1.11.2
(a b && p) ~~ m

:11.3.1.12.1
(a & b && p) ~ m
:11.3.1.12.2
(a & b && p) ~~ m

:11.3.1.13.1
(a && b && p) ~ m
:11.3.1.13.2
(a && b && p) ~~ m

:11.3.1.14.1
(a ~ b && p) ~ m
:11.3.1.14.2
(a ~ b && p) ~~ m

:11.3.1.15.1
(a ~~ b && p) ~ m
:11.3.1.15.2
(a ~~ b && p) ~~ m

:11.3.1.16.1
(a b ~ p) ~ m
:11.3.1.16.2
(a b ~ p) ~~ m

:11.3.1.17.1
(a & b ~ p) ~ m
:11.3.1.17.2
(a & b ~ p) ~~ m

:11.3.1.18.1
(a && b ~ p) ~ m
:11.3.1.18.2
(a && b ~ p) ~~ m

:11.3.1.19.1
(a ~ b ~ p) ~ m
:11.3.1.19.2
(a ~ b ~ p) ~~ m

:11.3.1.20.1
(a ~~ b ~ p) ~ m
:11.3.1.20.2
(a ~~ b ~ p) ~~ m

:11.3.1.21.1
(a b ~~ p) ~ m
:11.3.1.21.2
(a b ~~ p) ~~ m

:11.3.1.22.1
(a & b ~~ p) ~ m
:11.3.1.22.2
(a & b ~~ p) ~~ m

:11.3.1.23.1
(a && b ~~ p) ~ m
:11.3.1.23.2
(a && b ~~ p) ~~ m

:11.3.1.24.1
(a ~ b ~~ p) ~ m
:11.3.1.24.2
(a ~ b ~~ p) ~~ m

:11.3.1.25.1
(a ~~ b ~~ p) ~ m
:11.3.1.25.2
(a ~~ b ~~ p) ~~ m

: left
:11.3.2.1.1
(n b p) ~ m
:(why anything?)
:11.3.2.1.2
(n b p) ~~ m

:11.3.2.2.1
(n b & p) ~ m
:11.3.2.2.2
(n b & p) ~~ m

:11.3.2.3.1
(n b && p) ~ m
:(why anything?)
:11.3.2.3.2
(n b && p) ~~ m

:11.3.2.4.1
(n b ~ p) ~ m
:11.3.2.4.2
(n b ~ p) ~~ m

:11.3.2.5.1
(n b ~ x) ~ m
:(why anything?)
:11.3.2.5.2
(n b ~ x) ~~ m

:11.3.2.6.1
(n b ~~ x) ~ m
:(why anything?)
:11.3.2.6.2
(n b ~~ x) ~~ m

:11.3.2.7.1
(n & b p) ~ m
:(why anything?)
:11.3.2.7.2
(n & b p) ~~ m

:11.3.2.8.1
(n & b & p) ~ m
:11.3.2.8.2
(n & b & p) ~~ m

:11.3.2.9.1
(n & b && p) ~ m
:11.3.2.9.2
(n & b && p) ~~ m

:11.3.2.10.1
(n & b ~ p) ~ m
:11.3.2.10.2
(n & b ~ p) ~~ m

:11.3.2.11.1
(n & b ~ x) ~ m
:11.3.2.11.2
(n & b ~ x) ~~ m

:11.3.2.12.1
(n & b ~~ x) ~ m
:11.3.2.12.2
(n & b ~~ x) ~~ m

:11.3.2.13.1
(n && b p) ~ m
:(why anything?)
:11.3.2.13.2
(n && b p) ~~ m

:11.3.2.14.1
(n && b & p) ~ m
:11.3.2.14.2
(n && b & p) ~~ m

:11.3.2.15.1
(n && b && p) ~ m
:(why anything?)
:11.3.2.15.2
(n && b && p) ~~ m

:11.3.2.16.1
(n && b ~ p) ~ m
:(why anything?)
:11.3.2.16.2
(n && b ~ p) ~~ m

:11.3.2.17.1
(n && b ~ x) ~ m
:(why anything?)
:11.3.2.17.2
(n && b ~ x) ~~ m

:11.3.2.18.1
(n && b ~~ x) ~ m
:(why anything?)
:11.3.2.18.2
(n && b ~~ x) ~~ m

:11.3.2.19.1
(n ~ b p) ~ m
:11.3.2.19.2
(n ~ b p) ~~ m

:11.3.2.20.1
(n ~ b & p) ~ m
:11.3.2.20.2
(n ~ b & p) ~~ m

:11.3.2.21.1
(n ~ b && p) ~ m
:11.3.2.21.2
(n ~ b && p) ~~ m

:11.3.2.22.1
(n ~ b ~ p) ~ m
:11.3.2.22.2
(n ~ b ~ p) ~~ m

:11.3.2.23.1
(n ~ b ~ x) ~ m
:11.3.2.23.2
(n ~ b ~ x) ~~ m

:11.3.2.24.1
(n ~ b ~~ x) ~ m
:11.3.2.24.2
(n ~ b ~~ x) ~~ m

:11.3.2.25.1
(n ~ x p) ~ m
:11.3.2.25.2
(n ~ x p) ~~ m

:11.3.2.26.1
(n ~ x & p) ~ m
:11.3.2.26.2
(n ~ x & p) ~~ m

:11.3.2.27.1
(n ~ x && p) ~ m
:11.3.2.27.2
(n ~ x && p) ~~ m

:11.3.2.28.1
(n ~ x ~ p) ~ m
:11.3.2.28.2
(n ~ x ~ p) ~~ m

:11.3.2.29.1
(n ~ x ~ y) ~ m
:11.3.2.29.2
(n ~ x ~ y) ~~ m

:11.3.2.30.1
(n ~ x ~~ y) ~ m
:11.3.2.30.2
(n ~ x ~~ y) ~~ m

:11.3.2.31.1
(n ~~ x p) ~ m
:11.3.2.31.2
(n ~~ x p) ~~ m

:11.3.2.32.1
(n ~~ x & p) ~ m
:11.3.2.32.2
(n ~~ x & p) ~~ m

:11.3.2.33.1
(n ~~ x && p) ~ m
:11.3.2.33.2
(n ~~ x && p) ~~ m

:11.3.2.34.1
(n ~~ x ~ p) ~ m
:11.3.2.34.2
(n ~~ x ~ p) ~~ m

:11.3.2.35.1
(n ~~ x ~ y) ~ m
:11.3.2.35.2
(n ~~ x ~ y) ~~ m

:11.3.2.36.1
(n ~~ x ~~ y) ~ m
:11.3.2.36.2
(n ~~ x ~~ y) ~~ m

:middle
:11.3.3.1.1
(a n p) ~ m
:(why not [3.2]? why not [2.2]?)
:11.3.3.1.2
(a n p) ~~ m

:11.3.3.2.1
(a n & p) ~ m
:(why anything?)
:11.3.3.2.2
(a n & p) ~~ m

:11.3.3.3.1
(a n && p) ~ m
:(why not [3.2]? why not [2.2]?)
:11.3.3.3.2
(a n && p) ~~ m

:11.3.3.4.1
(a n ~ p) ~ m
:(why not [2.2]?)
:11.3.3.4.2
(a n ~ p) ~~ m

:11.3.3.5.1
(a n ~~ x) ~ m
:(why not [2.2]?)
:11.3.3.5.2
(a n ~~ x) ~~ m

:11.3.3.6.1
(a & n p) ~ m
:11.3.3.6.2
(a & n p) ~~ m

:11.3.3.7.1
(a & n & p) ~ m
:11.3.3.7.2
(a & n & p) ~~ m

:11.3.3.8.1
(a & n && p) ~ m
:11.3.3.8.2
(a & n && p) ~~ m

:11.3.3.9.1
(a & n ~ p) ~ m
:11.3.3.9.2
(a & n ~ p) ~~ m

:11.3.3.10.1
(a & n ~~ x) ~ m
:11.3.3.10.2
(a & n ~~ x) ~~ m

:11.3.3.11.1
(a && n p) ~ m
:(why not [3.2]? why not [2.2]?)
:11.3.3.11.2
(a && n p) ~~ m

:11.3.3.12.1
(a && n & p) ~ m
:(why anything?)
:11.3.3.12.2
(a && n & p) ~~ m

:11.3.3.13.1
(a && n && p) ~ m
:(why not [3.2]? why not [2.2]?)
:11.3.3.13.2
(a && n && p) ~~ m

:11.3.3.14.1
(a && n ~ p) ~ m
:(why not [2.2]?)
:11.3.3.14.2
(a && n ~ p) ~~ m

:11.3.3.15.1
(a && n ~~ x) ~ m
:(why not [2.2]?)
:11.3.3.15.2
(a && n ~~ x) ~~ m

:11.3.3.16.1
(a ~ n p) ~ m
:11.3.3.16.2
(a ~ n p) ~~ m

:11.3.3.17.1
(a ~ n & p) ~ m
:11.3.3.17.2
(a ~ n & p) ~~ m

:11.3.3.18.1
(a ~ n && p) ~ m
:11.3.3.18.2
(a ~ n && p) ~~ m

:11.3.3.19.1
(a ~ n ~ p) ~ m
:11.3.3.19.2
(a ~ n ~ p) ~~ m

:11.3.3.20.1
(a ~ n ~~ x) ~ m
:11.3.3.20.2
(a ~ n ~~ x) ~~ m

:right
:11.3.4.1.1
(a b n) ~ m
:(why not [2.2]?)
:11.3.4.1.2
(a b n) ~~ m

:11.3.4.2.1
(a b & n) ~ m
:(why anything?)
:11.3.4.2.2
(a b & n) ~~ m

:11.3.4.3.1
(a b && n) ~ m
:(why not [2.2]?)
:11.3.4.3.2
(a b && n) ~~ m

:11.3.4.4.1
(a b ~ n) ~ m
:11.3.4.4.2
(a b ~ n) ~~ m

:11.3.4.5.1
(a & b n) ~ m
:(why not [2.2]?)
:11.3.4.5.2
(a & b n) ~~ m

:11.3.4.6.1
(a & b & n) ~ m
:11.3.4.6.2
(a & b & n) ~~ m

:11.3.4.7.1
(a & b && n) ~ m
:(why not [2.2]?)
:11.3.4.7.2
(a & b && n) ~~ m

:11.3.4.8.1
(a & b ~ n) ~ m
:11.3.4.8.2
(a & b ~ n) ~~ m

:11.3.4.9.1
(a && b n) ~ m
:(why not [2.2]?)
:11.3.4.9.2
(a && b n) ~~ m

:11.3.4.10.1
(a && b & n) ~ m
:(why anything?)
:11.3.4.10.2
(a && b & n) ~~ m

:11.3.4.11.1
(a && b && n) ~ m
:(why not [2.2]?)
:11.3.4.11.2
(a && b && n) ~~ m

:11.3.4.12.1
(a && b ~ n) ~ m
:11.3.4.12.2
(a && b ~ n) ~~ m

:11.3.4.13.1
(a ~ b n) ~ m
:11.3.4.13.2
(a ~ b n) ~~ m

:11.3.4.14.1
(a ~ b & n) ~ m
:11.3.4.14.2
(a ~ b & n) ~~ m

:11.3.4.15.1
(a ~ b && n) ~ m
:11.3.4.15.2
(a ~ b && n) ~~ m

:11.3.4.16.1
(a ~ b ~ n) ~ m
:11.3.4.16.2
(a ~ b ~ n) ~~ m

:11.3.4.17.1
(a ~~ x n) ~ m
:11.3.4.17.2
(a ~~ x n) ~~ m

:11.3.4.18.1
(a ~~ x & n) ~ m
:11.3.4.18.2
(a ~~ x & n) ~~ m

:11.3.4.19.1
(a ~~ x && n) ~ m
:11.3.4.19.2
(a ~~ x && n) ~~ m

:11.3.4.20.1
(a ~~ x ~ n) ~ m
:11.3.4.20.2
(a ~~ x ~ n) ~~ m

:with ands
:11.3.5.1.1
(a & b p) ~ m & c
:11.3.5.1.2
(a & b p) ~ m && c
:11.3.5.1.3
(a & b p) & c ~ m
:11.3.5.1.4
(a & b p) && c ~ m
:11.3.5.1.5
(a & b p) ~ m & n
:11.3.5.1.6
(a & b p) & n ~ m

:11.3.5.2.1
c & (a & b p) ~ m
:(why not [1.1]? why not [1.2], [3.2]?)
:11.3.5.2.2
c && (a & b p) ~ m
:(why not [1.2], [3.2]?)
:11.3.5.2.3
n & (a & b p) ~ m
:11.3.5.2.4
n && (a & b p) ~ m
:(why anything?)

:11.3.5.3.1
(a & b n) ~ m & c
:11.3.5.3.2
(a & b n) ~ m && c
:(why nothing?)
:11.3.5.3.3
(a & b n) & c ~ m
:(why [1.3] only?)
:11.3.5.3.4
(a & b n) && c ~ m
:(why range?)
:11.3.5.3.5
c & (a & b n) ~ m
:(why [1.3] only?)
:11.3.5.3.6
c && (a & b n) ~ m
:(why range?)

:11.3.5.4.1
(a && n p) ~ m & c
:11.3.5.4.2
(a && n p) ~ m && c
:(why [1.3] only?)
:11.3.5.4.3
(a && n p) & c ~ m
:11.3.5.4.4
(a && n p) && c ~ m
:(why range?)
:11.3.5.4.5
c & (a && n p) ~ m
:(why [1.3] only?)
:11.3.5.4.6
c && (a && n p) ~ m
:(why range?)

:11.3.5.5.1
(n && b p) ~ m & c
:11.3.5.5.2
(n && b p) ~ m && c
:11.3.5.5.3
(n && b p) ~ m && c
:11.3.5.5.4
(n && b p) & c ~ m
:(why anything?)
:11.3.5.5.5
(n && b p) && c ~ m
:(why anything?)
:11.3.5.5.6
c & (n && b p) ~ m
:(why [1.3] only?)
:11.3.5.5.7
c && (n && b p) ~ m
:(why range?)

:with ors
:11.4.1
(a | p) ~ m
:11.4.2
(a | p) ~ b
:11.4.3
(a | p) ~ o
:11.4.4
a ~ c | a ~ m
:11.4.5
a ~ c | b ~ m
:11.4.6
a ~ c | a ~ b
:11.4.7
a ~ c | a ~~ m

:stupid neg
:11.5.1
p x ~ a
:11.5.2
x c ~ a
:11.5.3
x p ~ a
:11.5.4
(m ~ a) && x
:11.5.5
(m & x) ~ b
:11.5.6
(m ~ p) & x
:11.5.7
(c && x) ~ p
:11.5.8
a & x ~ p
:11.5.9
(m && x) ~ o
:11.5.10
(c ~ o) & x

:if still alive
:11.6.0
p

:from quotes.txt

:dull

<< &
:12.0.1.1
"&"
:12.0.1.2
"&&"
:12.0.1.3
"a"

<< &&
:12.0.2.1
"&"
:12.0.2.2
"&&"
:12.0.2.3
"a"

<< |
:12.0.3.1
"|"
:12.0.3.2
"a"

<< ~
:12.0.4.1
"~"
:12.0.4.2
"~~"
:12.0.4.3
"a"

<< ~~
:12.0.5.1
"~"
:12.0.5.2
"~~"
:12.0.5.3
"a"

<< (
:12.0.6.1
"("
:12.0.6.2
")"
:12.0.6.3
"()"
:12.0.6.4
"a"

<< )
:12.0.7.1
"("
:12.0.7.2
")"
:12.0.7.3
"()"
:12.0.7.4
"a"

<< ()
:12.0.8.1
"("
:12.0.8.2
")"
:12.0.8.3
"()"
:12.0.8.4
"a"

<< a
:12.1.1
""
:12.1.2
" "
:12.1.3
"a"
:12.1.4
"b"
:12.1.5
"a ~ b"
:(NB: operators ignored)
:12.1.6
"a ~~ b"
:(NB: operators ignored)
:12.1.7
"a" ~ b
:12.1.8
"a" ~~ b
:12.1.9
"a" ~ "b"
:12.1.10
"a" ~~ "b"
:12.1.11
"a ~" b
:(NB: operators ignored)
:12.1.12
"a ~~" b
:(NB: operators ignored)
:12.1.13
a ~ "b"
:12.1.14
a ~~ "b"
:12.1.15
a "~ b"
:(NB: operators ignored)
:12.1.16
a "~~ b"
:(NB: operators ignored)
:12.1.17
"a "
:(NB: extra spaces ignored)
:12.1.18
" a"
:(NB: extra spaces ignored)
:12.1.19
" a "
:(NB: extra spaces ignored)
:12.1.20
" " a"
:(NB: extra quote sign ignored)
:12.1.21
"a" "
:(NB: extra quote sign ignored)
:12.1.22
"a ~"
:12.1.23
"a ~~"
:12.1.24
"& a"
:12.1.25
"&& a"
:12.1.26
"| a"
:12.1.27
"a &"
:12.1.28
"a &&"
:12.1.29
"a |"
:12.1.30
"(a"
:12.1.31
"a)"
:12.1.32
"(a)"
:12.1.33
"a ()"
:12.1.34
"() a"
:12.1.35
"a~"
:12.1.36
"a~~"
:12.1.37
"&a"
:12.1.38
"&&a"
:12.1.39
"|a"
:12.1.40
"a&"
:12.1.41
"a&&"
:12.1.42
"a|"
:12.1.43
"a()"
:12.1.44
"()a"

<< a b c. m n. o p
:12.2.1
""
:12.2.2
" "
:12.2.3
"a"
:12.2.4
"o"
:12.2.5
"x"
:12.2.6
"a b"
:12.2.7
"ab"
:12.2.8
"a & b"
:12.2.9
"a && b"
:12.2.10
"a | b"
:12.2.11
"a ~ b"
:(NB: operators ignored)
:12.2.12
"a ~~ b"
:(NB: operators ignored)
:12.2.13
"a&b"
:12.2.14
"a&&b"
:12.2.15
"a|b"
:12.2.16
"a~b"
:(NB: operators ignored)
:12.2.17
"a~~b"
:(NB: operators ignored)
:12.2.18
"a" b
:12.2.19
"a &" b
:12.2.20
"a &&" b
:12.2.21
"a |" b
:12.2.22
"a ~" b
:(NB: operators ignored)
:12.2.23
"a ~~" b
:(NB: operators ignored)
:12.2.24
"a&" b
:12.2.25
"a&&" b
:12.2.26
"a|" b
:12.2.27
"a~" b
:(NB: operators ignored)
:12.2.28
"a~~" b
:(NB: operators ignored)
:12.2.29
a "b"
:12.2.30
a "& b"
:12.2.31
a "&& b"
:12.2.32
a "| b"
:12.2.33
a "~ b"
:(NB: operators ignored)
:12.2.34
a "~~ b"
:(NB: operators ignored)
:12.2.35
a "&b"
:12.2.36
a "&&b"
:12.2.37
a "|b"
:12.2.38
a "~b"
:(NB: operators ignored)
:12.2.39
a "~~b"
:(NB: operators ignored)
:12.2.40
"(a b)"
:12.2.41
"(a " b)
:(NB)
:12.2.42
("a b) c"
:(NB)
:12.2.43
(a " b)"
:(NB)

:logic proper
:12.3.1
"a c"
:12.3.2
"b a"
:12.3.3
"b c"
:12.3.4
"b m"
:12.3.5
"m b"
:12.3.6
"b o"
:12.3.7
"o b"
:12.3.8
"a a"
:12.3.9
"a . b"
:(NB)
:12.3.10
"a. b"
:(NB)
:12.3.11
"a.b"
:(NB)
:12.3.12
"a .b"
:(NB)
:12.3.13
"b . m"
:12.3.14
"b. m"
:12.3.15
"b.m"
:12.3.16
"b .m"
:12.3.17
"b . p"
:12.3.18
"b. p"
:12.3.19
"b.p"
:12.3.20
"b .p"
:12.3.21
"c m"
:12.3.22
"c m n"
:12.3.23
"c m n o"
:12.3.24
"c . m"
:(NB)
:12.3.25
"c. m"
:(NB)
:12.3.26
"c.m"
:(NB)
:12.3.27
"c .m"
:(NB)

:operators
:12.4.1
b & "b c"
:12.4.2
b & "o p"
:12.4.3
b & "a c"
:12.4.4
b & "b a"
:12.4.5
b && "b c"
:12.4.6
b && "o p"
:12.4.7
b && "a c"
:12.4.8
b && "b a"
:12.4.9
b ~ "b c"
:12.4.10
b ~ "o p"
:12.4.11
b ~ "a c"
:12.4.12
b ~ "b a"
:12.4.13
b ~~ "b c"
:12.4.14
b ~~ "o p"
:12.4.15
b ~~ "a c"
:12.4.16
b ~~ "b a"
:12.4.17
"a b" | "p o"
:12.4.18
"b a" | "p o"
:12.4.19
"b a" | "o p"

:multiple finds
<< a b c. m n. a p
:12.5.1
"b a"
:12.5.2
"a p"
:12.5.3
"a b"

<< a b a. m n. a p
:12.5.4
"a b"
:12.5.5
"a p"
:12.5.6
"b a"
:12.5.7
"a a"
:12.5.8
"a b a"

:if still alive

<< a
:12.6.0
a

:from zones_simplest.txt

<< (a a b c. d e f)a h (b l. m n)b o p q (c r s t)c (d a b c)d (a r s t)a (a u w)a
:13.0.0.1
(a & d)[a]
:13.0.0.2
(a | d)[a]
:(NB)

:13.0.1.1
a & c
:13.0.1.2
c & a
:13.0.1.3
c && m
:13.0.1.4
b && w
:(NB)
:13.0.1.5
a b
:13.0.1.6
c a
:13.0.1.7
a m
:13.0.1.8
a w
:(NB)
:13.0.1.9
o b

:13.0.2.1
a:(b)
:(NB: spaces obligatory)
:13.0.2.2
a:(f)
:(NB: spaces obligatory)
:13.0.2.3
a:(w)
:(NB: spaces obligatory)
:13.0.2.4
a:(a & c)
:(NB: spaces obligatory)
:13.0.2.5
a:(c & a)
:(NB: spaces obligatory)
:13.0.2.6
a:(c && m)
:(NB: spaces obligatory)
:13.0.2.7
a:(b && w)
:(NB: spaces obligatory)
:13.0.2.8
a:(a b)
:(NB: spaces obligatory)
:13.0.2.9
a:(c a)
:(NB: spaces obligatory)
:13.0.2.10
a:(a m)
:(NB: spaces obligatory)
:13.0.2.11
a:(a w)
:(NB: spaces obligatory)
:13.0.2.12
a:(o b)
:(NB: spaces obligatory)
:13.0.2.13
f
:(NB: spaces obligatory)
:13.0.2.14
f | n
:(NB: spaces obligatory)

<< (a a b c. d e f )a h (b l. m n )b o p q (c r s t )c (d a b c )d (a r s t )a (a u w )a

:stupid
:13.1.0.1.1
[a]
:13.1.0.1.2
(a & d)[a]
:(NB)
:13.1.0.1.3
(a | d)[a]
:(NB)
:13.1.0.1.4
a & d:(a)
:(NB)
:13.1.0.1.5
a | d:(a)
:(NB)
:13.1.0.1.6
f
:13.1.0.1.7
f | n
:13.1.0.1.8
a[b
:(NB)

:no zones
:13.1.0.2.1
a & c
:13.1.0.2.2
c & a
:13.1.0.2.3
c && m
:13.1.0.2.4
b && w
:13.1.0.2.5
a b
:13.1.0.2.6
c a
:13.1.0.2.7
a m
:13.1.0.2.8
a w
:13.1.0.2.9
o b

:positive
:13.2.1
a:(b)
:13.2.2
a:(f)
:13.2.3
a:(w)
:13.2.4
a:(a & c)
:13.2.5
a:(c & a)
:13.2.6
a:(c && f)
:13.2.7
a:(c && m)
:(NB: "m" outside zone)
:13.2.8
a:(b && w)
:13.2.9
a:(a b)
:13.2.10
a:(c a)
:13.2.11
a:(a m)
:(NB: "m" outside zone)
:13.2.12
a:(a w)
:13.2.13
a:(o b)
:(NB: "o" outside zone)
:13.2.14
a:(a) & c
:13.2.15
a:(c) & a
:13.2.16
a:(c) && m
:13.2.17
a:(b) && w
:13.2.18
a:(a) b
:13.2.19
a:(c) a
:13.2.20
a:(a) m
:13.2.21
a:(a) w
:13.2.22
a:(o) b

:from wordpositions.txt

<< a b c. a b c . m n . o p q. o o o p q a b   .a b c a b c. aaaaa bbbbb c ooooo o

:simplest
:14.1.1
a /1 b
:14.1.2
a /+1 b
:14.1.3
a /-1 b
:14.1.3
a /1 c
:14.1.4
a /+1 c
:14.1.5
a /-1 c
:14.1.6
b /1 a
:14.1.7
b /+1 a
:14.1.8
b /-1 a
:14.1.9
c /1 a
:14.1.10
c /+1 a
:14.1.11
c /-1 a
:14.1.12
o /1 o
:(NB: same as /0)
:14.1.13
o /+1 o
:14.1.14
o /-1 o
:14.1.15
o /0 o
:14.1.16
o /+0 o
:14.1.17
o /-0 o
:14.1.18
o /2 o
:(NB: same as /0)
:14.1.19
o /+2 o
:14.1.20
o /-2 o
:14.1.21
m /0 m
:14.1.22
o /6 b
:14.1.23
o /+5 b
:14.1.24
o /-5 b
:14.1.25
b /-5 o
:14.1.26
b /+5 o
:14.1.27
b /5 o
:14.1.28
a /3 a
:14.1.29
a /+3 a
:14.1.30
a /-3 a
:14.1.31
b /3 b
:14.1.32
b /+3 b
:14.1.33
b /-3 b
:14.1.34
a /2 a
:14.1.35
a /+2 a
:14.1.36
a /-2 a
:14.1.37
a /4 a
:14.1.38
a /+4 a
:14.1.39
a /-4 a
:14.1.40
(a | b) /0 (a | c)
:14.1.41
aaaaa /+1 bbbbb
:14.1.42
aaaaa /+2 bbbbb
:14.1.43
bbbbb /+1 c
:14.1.44
bbbbb /+2 c
:14.1.45
bbbbb /-1 a
:14.1.46
bbbbb /-2 a
:14.1.47
bbbbb /+1 bbbbb
:14.1.48
bbbbb /0 bbbbb

:implied brackets
:with space
:14.2.1.1
a b /+1 c
:(why [5.6]? NB: finds all 3)
:14.2.1.2
a b /+2 c
:(why [5.6]? NB: finds only "a")
:14.2.1.3
a b /0 c
:(why anything? why [5.6]?)
:14.2.1.4
a c /0 b
:(why anything? why [5.6]?)
:14.2.1.5
a c /1 b
:(why [5.6]? NB: finds all 3)
:14.2.1.6
a c /2 b
:(why [5.6]? NB: finds all 3)
:14.2.1.7
a c /-1 b
:(why [5.6]? NB: finds all 3)
:14.2.1.8
a c /-2 b
:(why [5.6]? NB: finds only "a")
:14.2.1.9
b m /1 c
:(why [5.7]? NB: as if OR'ed)
:14.2.1.10
b m /+1 c
:(why [5.7]?)
:14.2.1.11
b m /-1 a
:(why [5.7]?)
:14.2.1.12
b m /1 n
:(why anything? why [5.7]?)
:14.2.1.13
b m /+1 n
:(why anything? why [5.7]?)
:14.2.1.14
b m /1 b
:(NB: [3.1])
:14.2.1.15
b m /+1 b
:(why anything?)
:14.2.1.16
b m /-1 b
:(why anything?)
:14.2.1.17
b m /1 m
:(why anything?)
:14.2.1.18
b m /+1 m
:(why anything?)
:14.2.1.19
b m /-1 m
:(why anything?)
:14.2.1.20
b m /0 b
:14.2.1.21
b m /0 m
:(why anything?)
:14.2.1.22
b n /1 m
:(why anything?)
:14.2.1.23
b n /-1 m
:(why anything?)
:14.2.1.24
b n /+1 m
:(why anything?)
:14.2.1.25
c m /1 q
:(why anything?)
:14.2.1.26
c m /+1 q
:(why anything?)
:14.2.1.27
c m /-1 q
:(why anything?)
:14.2.1.28
c m /0 q
:(why anything?)

:with global_and
:14.2.2.1
b && m /1 c
:(why [5.7]?)
:14.2.2.2
b && m /+1 c
:(why [5.7]?)
:14.2.2.3
b && m /-1 a
:14.2.2.4
b && m /1 n
:(why anything?)
:14.2.2.5
b && m /+1 n
:(why anything?)
:14.2.2.6
b && m /1 b
:14.2.2.7
b && m /+1 b
:(why anything?)
:14.2.2.8
b && m /-1 b
:(why anything?)
:14.2.2.9
b && m /1 m
:(why anything?)
:14.2.2.10
b && m /+1 m
:(why anything?)
:14.2.2.11
b && m /-1 m
:(why anything?)
:14.2.2.12
b && m /0 b
:14.2.2.13
b && m /0 m
:(why anything?)
:14.2.2.14
b && n /1 m
:(why anything?)
:14.2.2.15
b && n /-1 m
:(why anything?)
:14.2.2.16
b && n /+1 m
:(why anything?)
:14.2.2.17
c && m /1 q
:(why anything?)
:14.2.2.18
c && m /+1 q
:(why anything?)

:explicit brackets
:global_and
:14.3.1.1
(b && m) /1 c
:(why not "b"? why "c"?)
:14.3.1.2
(b && m) /+1 c
:(why not "b"? why "c"?)
:14.3.1.3
(b && m) /-1 a
:(why only 1 "b"? NB output ordering)
:14.3.1.4
(b && m) /1 n
:(why anything? why span? why only one "b"?)
:14.3.1.5
(b && m) /+1 n
:(why anything? why span? why only one "b"?)
:14.3.1.6
(b && m) /1 b
:(why anything? why span? why only 2 b's?)
:14.3.1.7
(b && m) /+1 b
:14.3.1.8
(b && m) /-1 b
:14.3.1.9
(b && m) /1 m
:(why anything? why span? why only one "b"?)
:14.3.1.10
(b && m) /+1 m
:14.3.1.11
(b && m) /-1 m
:14.3.1.12
(b && m) /0 b
:(why span? why only 2 b's?)
:14.3.1.13
(b && m) /0 m
:(why anything? why span? why only one "b"?)
:14.3.1.14
(b && n) /1 m
:(why anything?)
:14.3.1.15
(b && n) /-1 m
:(why anything? why span? why only one "b"?)
:14.3.1.16
(b && n) /+1 m
:14.3.1.17
(c && m) /1 q
:14.3.1.18
(c && m) /+1 q
:14.3.1.19
(c && m) /-1 q
:14.3.1.20
(c && m) /0 q
:or
:14.3.2.1
(b | m) /1 c
:14.3.2.2
(b | m) /+1 c
:14.3.2.3
(b | m) /-1 a
:14.3.2.4
(b | m) /1 n
:14.3.2.5
(b | m) /+1 n
:14.3.2.6
(b | m) /1 b
:14.3.2.7
(b | m) /+1 b
:14.3.2.8
(b | m) /-1 b
:14.3.2.9
(b | m) /1 m
:14.3.2.10
(b | m) /+1 m
:14.3.2.11
(b | m) /-1 m
:14.3.2.12
(b | m) /0 b
:14.3.2.13
(b | m) /0 m
:14.3.2.14
(b | n) /1 m
:(NB output ordering)
:14.3.2.15
(b | n) /-1 m
:14.3.2.16
(b | n) /+1 m
:14.3.2.17
(c | m) /1 q
:14.3.2.18
(c | m) /+1 q
:14.3.2.19
(c | m) /-1 q
:14.3.2.20
(c | m) /0 q
:local wo
:14.3.3.1
(b ~ m) /1 c
:14.3.3.2
(b ~ m) /+1 c
:14.3.3.3
(b ~ m) /-1 a
:14.3.3.4
(b ~ m) /1 n
:14.3.3.5
(b ~ m) /+1 n
:14.3.3.6
(b ~ m) /1 b
:14.3.3.7
(b ~ m) /+1 b
:14.3.3.8
(b ~ m) /-1 b
:14.3.3.9
(b ~ m) /1 m
:14.3.3.10
(b ~ m) /+1 m
:14.3.3.11
(b ~ m) /-1 m
:14.3.3.12
(b ~ m) /0 b
:14.3.3.13
(b ~ m) /0 m
:14.3.3.14
(b ~ n) /1 m
:14.3.3.15
(b ~ n) /-1 m
:14.3.3.16
(b ~ n) /+1 m
:14.3.3.17
(c ~ m) /1 q
:14.3.3.18
(c ~ m) /+1 q
:14.3.3.19
(c ~ m) /-1 q
:14.3.3.20
(c ~ m) /0 q
:space
:14.3.4.1
(b m) /1 c
:(why [2.3]? why no b's?)
:14.3.4.2
(b m) /+1 c
:(why [2.3]? why no b's?)
:14.3.4.3
(b m) /-1 a
:(why only one "b"? why span?)
:14.3.4.4
(b m) /1 n
:(why anything? why these?)
:14.3.4.5
(b m) /+1 n
:(why anything? why these?)
:14.3.4.6
(b m) /1 b
:(why only 2 b's? why span?)
:14.3.4.7
(b m) /+1 b
:14.3.4.8
(b m) /-1 b
:14.3.4.9
(b m) /1 m
:(why anything? why these?)
:14.3.4.10
(b m) /+1 m
:14.3.4.11
(b m) /-1 m
:14.3.4.12
(b m) /0 b
:(why only 2 b's? why span?)
:14.3.4.13
(b m) /0 m
:(why anything? why these?)
:14.3.4.14
(b n) /1 m
:(why anything? why these?)
:14.3.4.15
(b n) /-1 m
:(why anything? why these?)
:14.3.4.16
(b n) /+1 m
:14.3.4.17
(c m) /1 q
:14.3.4.18
(c m) /+1 q
:14.3.4.19
(c m) /-1 q
:14.3.4.20
(c m) /0 q

:quotes
:left
:14.4.1.1
"a b" /+1 c
:14.4.1.2
"a b" /+2 c
:(why only c's?)
:14.4.1.3
"a b" /0 c
:14.4.1.4
"a c" /0 b
:14.4.1.5
"a c" /1 b
:14.4.1.6
"a c" /2 b
:14.4.1.7
"a c" /+1 b
:14.4.1.8
"a c" /+2 b
:14.4.1.9
"a c" /-1 b
:14.4.1.10
"a c" /-2 b
:14.4.1.11
"p q" /0 o
:14.4.1.12
"p q" /0 a
:14.4.1.13
"p q" /0 b
:14.4.1.14
"p q" /0 n
:14.4.1.15
"p q" /1 o
:14.4.1.16
"p q" /1 a
:14.4.1.17
"p q" /1 b
:14.4.1.18
"p q" /1 n
:14.4.1.19
"p q" /2 o
:14.4.1.20
"p q" /2 a
:14.4.1.21
"p q" /2 b
:(NB: no "b" returned)
:14.4.1.22
"p q" /2 n
:14.4.1.23
"p q" /3 o
:14.4.1.24
"p q" /3 a
:14.4.1.25
"p q" /3 b
:14.4.1.26
"p q" /3 n
:14.4.1.27
"p q" /+0 o
:14.4.1.28
"p q" /+0 a
:14.4.1.29
"p q" /+0 b
:14.4.1.30
"p q" /+0 n
:14.4.1.31
"p q" /+1 o
:14.4.1.32
"p q" /+1 a
:(NB: no "a" returned)
:14.4.1.33
"p q" /+1 b
:14.4.1.34
"p q" /+1 n
:14.4.1.35
"p q" /+2 o
:14.4.1.36
"p q" /+2 a
:(why "a"?)
:14.4.1.37
"p q" /+2 b
:(NB: no "b" returned)
:14.4.1.38
"p q" /+2 n
:14.4.1.39
"p q" /+3 o
:14.4.1.40
"p q" /+3 a
:14.4.1.41
"p q" /+3 b
:(why only "b"?)
:14.4.1.42
"p q" /+3 n
:14.4.1.43
"p q" /-0 o
:14.4.1.44
"p q" /-0 a
:14.4.1.45
"p q" /-0 b
:14.4.1.46
"p q" /-0 n
:14.4.1.47
"p q" /-1 o
:(why only o's?)
:14.4.1.48
"p q" /-1 a
:14.4.1.49
"p q" /-1 b
:14.4.1.50
"p q" /-1 n
:14.4.1.51
"p q" /-2 o
:(why these?)
:14.4.1.52
"p q" /-2 a
:14.4.1.53
"p q" /-2 b
:14.4.1.54
"p q" /-2 n
:14.4.1.55
"p q" /-3 o
:(why only "o"?)
:14.4.1.56
"p q" /-3 a
:14.4.1.57
"p q" /-3 b
:14.4.1.58
"p q" /-3 n
:right
:14.4.2.1
b /0 "a b"
:(NB: spans only)
:14.4.2.2
b /1 "a b"
:14.4.2.3
b /2 "a b"
:14.4.2.4
b /+1 "a b"
:14.4.2.5
b /+2 "a b"
:14.4.2.6
b /-1 "a b"
:14.4.2.7
b /-2 "a b"
:14.4.2.8
b /0 "b c"
:14.4.2.9
b /1 "b c"
:14.4.2.10
b /2 "b c"
:14.4.2.11
b /+1 "b c"
:(NB: spans only)
:14.4.2.12
b /+2 "b c"
:14.4.2.13
b /-1 "b c"
:14.4.2.14
b /-2 "b c"
:(NB: span only)
:14.4.2.15
b /0 "c a"
:14.4.2.16
b /1 "c a"
:(why not [6.5]?)
:14.4.2.17
b /2 "c a"
:(NB output ordering)
:14.4.2.18
b /+1 "c a"
:14.4.2.19
b /+2 "c a"
:(NB: span only)
:14.4.2.20
b /-1 "c a"
:(NB: span only)
:14.4.2.21
b /-2 "c a"
:both
:14.4.3.1
"q a" /1 "o p"
:(why only "o p"?)
:14.4.3.2
"q a" /1 "p q"
:14.4.3.3
"q a" /+1 "o p"
:14.4.3.4
"q a" /+1 "p q"
:14.4.3.5
"q a" /-1 "o p"
:(why only "o p"?)
:14.4.3.6
"q a" /-1 "p q"
:(why only "p q"?)
:14.4.3.7
"q a" /0 "o p"
:14.4.3.8
"q a" /0 "p q"
:(why only "p q"?)

:negation
:simplest
:14.5.1.1
o ~ /+1 o
:(why not [5.3]?)
:14.5.1.2
o ~ /-1 o
:14.5.1.3
c ~ /-1 b
:14.5.1.4
q ~ /+1 p
:14.5.1.5
q ~ /+1 a
:bracketing
:14.5.2.1
b /3 b ~ /0 b
:14.5.2.2
(b /3 b) ~ /0 b
:14.5.2.3
(b /3 b) ~ (b /0 b)
:14.5.2.3
b /3 (b ~ /0 b)
:14.5.2.4
b /+3 b ~ /0 b
:14.5.2.5
(b /+3 b) ~ /0 b
:14.5.2.6
(b /+3 b) ~ (b /0 b)
:14.5.2.7
b /+3 (b ~ /0 b)
:14.5.2.8
b /-3 b ~ /0 b
:14.5.2.9
(b /-3 b) ~ /0 b
:14.5.2.10
(b /-3 b) ~ (b /0 b)
:14.5.2.11
b /-3 (b ~ /0 b)
:global negation
:14.5.3.1
a /1 b ~~ "m n"
:14.5.3.1
a /1 b ~~ m /1 n
:14.5.3.2
a /1 b ~~ m /-1 n
:14.5.3.3
a /1 b ~~ m /+1 n
:14.5.3.4
a /1 b ~ "m n"
:14.5.3.5
a /1 b ~ m /1 n
:14.5.3.6
a /1 b ~ m /-1 n
:14.5.3.7
a /1 b ~ m /+1 n
:with quotes
:14.5.4.1
"q a" ~ /1 "o p"
:14.5.4.2
"q a" ~ /1 "p q"
:14.5.4.3
"q a" ~ /+1 "o p"
:14.5.4.4
"q a" ~ /+1 "p q"
:14.5.4.5
"q a" ~ /-1 "o p"
:14.5.4.6
"q a" ~ /-1 "p q"
:14.5.4.7
"q a" ~ /0 "o p"
:14.5.4.8
"q a" ~ /0 "p q"

:if still alive
:14.6.0
ooooo

<< a b c. a b c . m n . o p q. o o o p q a b   .a b c a b c. aaaaa bbbbb c ooooo o . k .l

:sentencepositions.txt

:simplest
:16.1.1
a && /1 b
:16.1.2
a && /+1 b
:(NB output ordering)
:16.1.3
a && /-1 b
:16.1.3
a && /1 c
:16.1.4
a && /+1 c
:16.1.5
a && /-1 c
:16.1.6
b && /1 a
:16.1.7
b && /+1 a
:(NB output ordering)
:16.1.8
b && /-1 a
:(NB output ordering)
:16.1.9
c && /1 a
:16.1.10
c && /+1 a
:(NB output ordering)
:16.1.11
c && /-1 a
:(NB output ordering)
:16.1.12
o && /1 o
:16.1.13
o && /+1 o
:16.1.14
o && /-1 o
:16.1.15
o && /0 o
:16.1.16
o && /+0 o
:16.1.17
o && /-0 o
:16.1.18
o && /2 o
:16.1.19
o && /+2 o
:16.1.20
o && /-2 o
:16.1.21
m && /0 m
:16.1.22
o && /6 b
:(NB output ordering)
:16.1.23
o && /+6 b
:16.1.24
o && /-6 b
:(NB output ordering)
:16.1.25
b && /-6 o
:16.1.26
b && /+6 o
:16.1.27
b && /6 o
:16.1.28
o && /3 o
:16.1.29
o && /+3 o
:16.1.30
o && /-3 o
:(NB output ordering)
:16.1.31
q && /3 o
:(NB output ordering)
:16.1.32
q && /+3 o
:16.1.33
q && /-3 o
:16.1.34
o && /3 q
:16.1.35
o && /+3 q
:16.1.36
o && /-3 q
:(NB output ordering)
:16.1.37
o && /4 o
:16.1.38
o && /+4 o
:16.1.39
o && /-4 o
:16.1.40
(a | m) && /0 (a | aaaaa)
:16.1.41
aaaaa && /+1 bbbbb
:16.1.42
aaaaa && /+2 bbbbb
:16.1.43
bbbbb && /+1 c
:16.1.44
bbbbb && /+2 c
:16.1.45
bbbbb && /-1 a
:(NB output ordering)
:16.1.46
bbbbb && /-2 a
:16.1.47
bbbbb && /+1 bbbbb
:16.1.48
bbbbb && /0 bbbbb
:16.1.49
o &&/-1 o
:(NB: no space OK)
:16.1.50
o &&                                                                /-1 o
:(NB: extra spaces OK)
:16.1.51
o &&/ -1 o
:(NB: extra spaces cause failure)
:16.1.52
o && / -1 o

:implied brackets
:with space
:16.2.1.1
a b && /+1 c
:(why [2.1]?)
:16.2.1.2
a b && /+2 c
:(why anything but [5.*]?)
:16.2.1.3
a b && /0 c
:(why [5.6]?)
:16.2.1.4
a c && /0 b
:16.2.1.5
a c && /1 b
:16.2.1.6
a c && /3 b
:16.2.1.7
a c && /-1 b
:(why [1.1], [5.6]?)
:16.2.1.8
a c && /-3 b
:(why anything but [5.6]?)
:16.2.1.9
b m && /1 c
:16.2.1.10
b m && /+1 c
:(why [2.2]?)
:16.2.1.11
b m && /-1 a
:(why [1.2], [5.7]?)
:16.2.1.12
b m && /1 n
:(why anything but [2.2]?)
:16.2.1.13
b m && /+1 n
:(why anything but [2.2]?)
:16.2.1.14
b m && /1 bbbbb
:(why anything but [6.*]?)
:16.2.1.15
b m && /+1 bbbbb
:(why anything but [6.*]?)
:16.2.1.16
b m && /-1 bbbbb
:(why anything?)
:16.2.1.17
b m && /1 m
:(why anything but [2.2]?)
:16.2.1.18
b m && /+1 m
:(why anything but [2.2]?)
:16.2.1.19
b m && /-1 m
:(why anything?)
:16.2.1.20
b m && /0 b
:16.2.1.21
b m && /0 m
:(why anything?)
:16.2.1.22
b n && /1 m
:(why anything but [2.2]?)
:16.2.1.23
b n && /-1 m
:(why anything?)
:16.2.1.24
b n && /+1 m
:(why anything but [2.2]?)
:16.2.1.25
c m && /1 q
:(why anything but [6.*]?)
:16.2.1.26
c m && /+1 q
:(why anything?)
:16.2.1.27
c m && /-1 q
:(why anything but [6.*]?)
:16.2.1.28
c m && /0 q
:(why anything?)

:with global_and
:16.2.2.1
q && aaaaa && /1 m
:(why [5.5]?)
:16.2.2.2
q && aaaaa && /+1 m
:(why anything?)
:16.2.2.3
q && aaaaa && /-1 m
:(why [5.5]?)
:16.2.2.4
q && aaaaa && /1 c
:(why [4.3]?)
:16.2.2.5
q && aaaaa && /+1 c
:(why [4.3]?)
:16.2.2.6
q && aaaaa && /1 k
:(why anything?)
:16.2.2.7
q && aaaaa && /+1 k
:(why anything?)
:16.2.2.8
q && aaaaa && /-1 k
:(why anything?)
:16.2.2.9
aaaaa && m && /1 m
:(why anything?)
:16.2.2.10
aaaaa && m && /+1 m
:(why anything?)
:16.2.2.11
aaaaa && m && /-1 m
:(why anything?)
:16.2.2.12
q && m && /0 aaaaa
:(why anything?)
:16.2.2.13
aaaaa && m && /0 m
:(why anything?)
:16.2.2.14
aaaaa && n && /1 m
:(why anything?)
:16.2.2.15
aaaaa && n && /-1 m
:(why anything?)
:16.2.2.16
aaaaa && n && /+1 m
:(why anything?)
:16.2.2.17
aaaaa && m && /1 q
:16.2.2.18
aaaaa && m && /+1 q
:16.2.2.19
aaaaa && n && /1 q
:(why anything?)
:16.2.2.20
aaaaa && n && /-1 q
:(why anything?)
:16.2.2.21
aaaaa && n && /+1 q
:(why anything?)

:explicit brackets
:global_and
:16.3.1.1
(q && aaaaa) && /1 m
:(why nothing?)
:16.3.1.2
(q && aaaaa) && /+1 m
:16.3.1.3
(q && aaaaa) && /-1 m
:(why nothing?)
:16.3.1.4
(q && aaaaa) && /1 c
:16.3.1.5
(q && aaaaa) && /+1 c
:16.3.1.6
(q && aaaaa) && /1 k
:(why anything?)
:16.3.1.7
(q && aaaaa) && /+1 k
:(why anything?)
:16.3.1.8
(q && aaaaa) && /-1 k
:16.3.1.9
(aaaaa && m) && /1 m
:(why anything?)
:16.3.1.10
(aaaaa && m) && /+1 m
:16.3.1.11
(aaaaa && m) && /-1 m
:16.3.1.12
(q && m) && /0 aaaaa
:16.3.1.13
(aaaaa && m) && /0 m
:(why anything?)
:16.3.1.14
(aaaaa && n) && /1 m
:(why anything?)
:16.3.1.15
(aaaaa && n) && /-1 m
:16.3.1.16
(aaaaa && n) && /+1 m
:16.3.1.17
(aaaaa && m) && /1 q
:(why anything?)
:16.3.1.18
(aaaaa && m) && /+1 q
:(why anything?)
:16.3.1.19
(aaaaa && n) && /1 q
:(why anything?)
:16.3.1.20
(aaaaa && n) && /-1 q
:16.3.1.21
(aaaaa && n) && /+1 q
:(why anything?)

:or
:16.3.2.1
(p | aaaaa) && /1 q
:16.3.2.2
(p | aaaaa) && /+1 q
:16.3.2.3
(p | aaaaa) && /-1 m
:16.3.2.4
(p | aaaaa) && /1 k
:16.3.2.5
(p | aaaaa) && /+1 k
:16.3.2.6
(p | aaaaa) && /1 p
:16.3.2.7
(p | aaaaa) && /+1 p
:16.3.2.8
(p | aaaaa) && /-1 p
:(NB output ordering)
:16.3.2.9
(p | aaaaa) && /1 aaaaa
:16.3.2.10
(p | aaaaa) && /+1 aaaaa
:16.3.2.11
(p | aaaaa) && /-1 aaaaa
:16.3.2.12
(p | aaaaa) && /0 p
:16.3.2.13
(p | aaaaa) && /0 aaaaa
:16.3.2.14
(p | k) && /1 aaaaa
:16.3.2.15
(p | k) && /-1 aaaaa
:16.3.2.16
(p | k) && /+1 aaaaa
:16.3.2.17
(aaaaa | m) && /1 l
:16.3.2.18
(aaaaa | m) && /+1 l
:16.3.2.19
(aaaaa | m) && /-1 l
:16.3.2.20
(aaaaa | m) && /0 l

:local wo
:16.3.3.1
(b ~ m) && /1 n
:16.3.3.2
(b ~ m) && /+1 n
:16.3.3.3
(b ~ m) && /-1 q
:(NB output ordering)
:16.3.3.4
(b ~ m) && /1 q
:(NB output ordering)
:16.3.3.5
(b ~ m) && /+1 q
:16.3.3.6
(b ~ m) && /1 b
:16.3.3.7
(b ~ m) && /+1 b
:16.3.3.8
(b ~ m) && /-1 b
:16.3.3.9
(b ~ m) && /1 m
:16.3.3.10
(b ~ m) && /+1 m
:(NB output ordering)
:16.3.3.11
(b ~ m) && /-1 m
:16.3.3.12
(b ~ m) && /0 b
:16.3.3.13
(b ~ m) && /0 m
:16.3.3.14
(b ~ n) && /1 m
:16.3.3.15
(b ~ n) && /-1 m
:16.3.3.16
(b ~ n) && /+1 m
:(NB output ordering)
:16.3.3.17
(c ~ m) && /1 k
:16.3.3.18
(c ~ m) && /+1 k
:(NB output ordering)
:16.3.3.19
(c ~ m) && /-1 k
:16.3.3.20
(c ~ m) && /0 k

:space
:16.3.4.1
(q aaaaa) && /1 m
:(why nothing?)
:16.3.4.2
(q aaaaa) && /+1 m
:16.3.4.3
(q aaaaa) && /-1 m
:(why nothing?)
:16.3.4.4
(q aaaaa) && /1 c
:16.3.4.5
(q aaaaa) && /+1 c
:(NB output ordering)
:16.3.4.6
(q aaaaa) && /1 k
:(why anything?)
:16.3.4.7
(q aaaaa) && /+1 k
:(why anything?)
:16.3.4.8
(q aaaaa) && /-1 k
:16.3.4.9
(aaaaa m) && /1 m
:(why anything?)
:16.3.4.10
(aaaaa m) && /+1 m
:16.3.4.11
(aaaaa m) && /-1 m
:16.3.4.12
(q m) && /0 aaaaa
:16.3.4.13
(aaaaa m) && /0 m
:(why anything?)
:16.3.4.14
(aaaaa n) && /1 m
:(why anything?)
:16.3.4.15
(aaaaa n) && /-1 m
:16.3.4.16
(aaaaa n) && /+1 m
:16.3.4.17
(aaaaa m) && /1 q
:(why anything?)
:16.3.4.18
(aaaaa m) && /+1 q
:(why anything?)
:16.3.4.19
(aaaaa n) && /1 q
:(why anything?)
:16.3.4.20
(aaaaa n) && /-1 q
:16.3.4.21
(aaaaa n) && /+1 q
:(why anything?)

:quotes
:left
:16.4.1.1
"a b" && /+1 c
:16.4.1.2
"a b" && /+2 c
:(NB output ordering)
:16.4.1.3
"a b" && /0 c
:16.4.1.4
"a c" && /0 b
:16.4.1.5
"a c" && /1 b
:16.4.1.6
"a c" && /2 b
:16.4.1.7
"a c" && /+1 b
:16.4.1.8
"a c" && /+2 b
:16.4.1.9
"a c" && /-1 b
:16.4.1.10
"a c" && /-2 b
:16.4.1.11
"p q" && /0 o
:(NB output ordering)
:16.4.1.12
"p q" && /0 a
:16.4.1.13
"p q" && /0 b
:16.4.1.14
"p q" && /0 n
:16.4.1.15
"p q" && /1 o
:(NB output ordering)
:16.4.1.16
"p q" && /1 a
:16.4.1.17
"p q" && /1 b
:16.4.1.18
"p q" && /1 n
:(NB output ordering)
:16.4.1.19
"p q" && /2 o
:(NB output ordering)
:16.4.1.20
"p q" && /2 a
:(NB output ordering)
:16.4.1.21
"p q" && /2 b
:(NB output ordering)
:16.4.1.22
"p q" && /2 n
:(NB output ordering)
:16.4.1.23
"p q" && /3 k
:16.4.1.24
"p q" && /3 a
:(NB output ordering)
:16.4.1.25
"p q" && /3 b
:(NB output ordering)
:16.4.1.26
"p q" && /3 n
:(NB output ordering)
:16.4.1.27
"p q" && /+0 o
:(NB output ordering)
:16.4.1.28
"p q" && /+0 a
:16.4.1.29
"p q" && /+0 b
:16.4.1.30
"p q" && /+0 n
:16.4.1.31
"p q" && /+1 o
:(NB output ordering)
:16.4.1.32
"p q" && /+1 a
:16.4.1.33
"p q" && /+1 b
:16.4.1.34
"p q" && /+1 n
:16.4.1.35
"p q" && /+2 o
:16.4.1.36
"p q" && /+2 a
:(NB output ordering)
:16.4.1.37
"p q" && /+2 b
:16.4.1.38
"p q" && /+2 n
:(NB output ordering)
:16.4.1.39
"p q" && /+3 k
:16.4.1.40
"p q" && /+3 a
:16.4.1.41
"p q" && /+3 b
:16.4.1.42
"p q" && /+3 n
:16.4.1.43
"p q" && /-0 o
:(NB output ordering)
:16.4.1.44
"p q" && /-0 a
:16.4.1.45
"p q" && /-0 b
:16.4.1.46
"p q" && /-0 n
:16.4.1.47
"p q" && /-1 o
:(NB output ordering)
:16.4.1.48
"p q" && /-1 a
:16.4.1.49
"p q" && /-1 b
:16.4.1.50
"p q" && /-1 n
:16.4.1.51
"p q" && /-2 o
:16.4.1.52
"p q" && /-2 a
:(NB output ordering)
:16.4.1.53
"p q" && /-2 b
:16.4.1.54
"p q" && /-2 n
:(NB output ordering)
:16.4.1.55
"p q" && /-3 k
:16.4.1.56
"p q" && /-3 a
:(NB output ordering)
:16.4.1.57
"p q" && /-3 b
:16.4.1.58
"p q" && /-3 n

:right
:16.4.2.1
b && /0 "a b"
:(NB output ordering)
:16.4.2.2
b && /1 "a b"
:(NB output ordering)
:16.4.2.3
b && /2 "a b"
:(NB output ordering)
:16.4.2.4
b && /+1 "a b"
:(NB output ordering)
:16.4.2.5
b && /+2 "a b"
:16.4.2.6
b && /-1 "a b"
:(NB output ordering)
:16.4.2.7
b && /-2 "a b"
:16.4.2.8
b && /0 "b c"
:16.4.2.9
b && /1 "b c"
:16.4.2.10
b && /2 "b c"
:16.4.2.11
b && /+1 "b c"
:16.4.2.12
b && /+2 "b c"
:16.4.2.13
b && /-1 "b c"
:16.4.2.14
b && /-2 "b c"
:16.4.2.15
b && /0 "c a"
:16.4.2.16
b && /1 "c a"
:16.4.2.17
b && /2 "c a"
:16.4.2.18
b && /+1 "c a"
:(NB output ordering)
:16.4.2.19
b && /+2 "c a"
:16.4.2.20
b && /-1 "c a"
:16.4.2.21
b && /-2 "c a"

:both
:16.4.3.1
"q a" && /1 "o p"
:(NB output ordering)
:16.4.3.2
"q a" && /1 "p q"
:(NB output ordering)
:16.4.3.3
"q a" && /+1 "o p"
:16.4.3.4
"q a" && /+1 "p q"
:16.4.3.5
"q a" && /-1 "o p"
:(NB output ordering)
:16.4.3.6
"q a" && /-1 "p q"
:(NB output ordering)
:16.4.3.7
"q a" && /0 "o p"
:(NB output ordering)
:16.4.3.8
"q a" && /0 "p q"
:(NB output ordering)

:negation
:simplest
:16.5.1.1
o ~~ /+1 o
:(why not [5.*]?)
:16.5.1.2
o ~~ /-1 o
:16.5.1.3
c ~~ /-1 b
:16.5.1.4
q ~~ /+1 p
:(why not [5.*]?)
:16.5.1.5
q ~~ /+1 a

:bracketing
:16.5.2.1
b /3 b ~~ /0 b
:16.5.2.2
q && /1 a ~~ /-1 m
:16.5.2.3
(q && /1 a) ~~ /-1 m
:16.5.2.3
q && /1 (a ~ c)
:16.5.2.4
q && /1 (a ~~ /+1 c)
:16.5.2.5
q && /1 (a ~~ /+2 k)
:16.5.2.6
q && /1 (a ~~ /+3 l)
:16.5.2.7
q && /1 (a ~~ /-1 b)
:16.5.2.8
q && /1 (a ~~ /-2 m)
:16.5.2.9
q && /1 (a ~~ /-3 m)
:16.5.2.10
q /1 a ~~ /-1 o
:16.5.2.11
q && /1 a ~ /-3 o

:global negation
:16.5.3.1
a && /1 b ~~ "m n"
:16.5.3.1
a /1 b ~~ m ~~ /1 n
:16.5.3.2
a /1 b ~~ m ~~ /-1 c
:16.5.3.3
a /1 b ~~ m ~~ /+1 q
:16.5.3.4
a && /1 b ~ "m n"
:16.5.3.5
a /1 b ~ m && /1 n
:16.5.3.6
a /1 b ~ m && /-1 c
:16.5.3.7
a /1 b ~ m && /+1 q

:with quotes
:16.5.4.1
"q a" ~~ /1 "o p"
:16.5.4.2
"q a" ~~ /1 "p q"
:16.5.4.3
"q a" ~~ /+1 "o p"
:16.5.4.4
"q a" ~~ /+1 "p q"
:16.5.4.5
"q a" ~~ /-1 "o p"
:16.5.4.6
"q a" ~~ /-1 "p q"
:16.5.4.7
"q a" ~~ /0 "o p"
:16.5.4.8
"q a" ~~ /0 "p q"

:if still alive
:16.6.0
ooooo

<<a[la;link:abc]
link:"'ab'..'b'"
link:"'abc'..'abd'"
link:"'b'..'ab'"
link:"'a'..'abb'"