{}
AND /s.B.........$/
AND
{ [0 1 3 4 5 6 7 8 9]+ }
/s..C........$/
AND
{ [0 1 2 4 5 6 7 8 9]+ }
ABSTRACT EXTENDS @ {} AND
@
AND /s...D.......$/
AND
{ [0 1 2 3 5 6 7 8 9]+ }
ABSTRACT /s....E......$/
AND
EXTENDS @
{ [ 2 ] }
/s.....F.....$/
AND
{ [ 3 ] }
/s......G....$/
AND
EXTENDS @
EXTENDS @
{ [ 4 ] }
# A: 0 1 2 3 4 5 6 7 8 9+
# B: 0 1 3 4 5 6 7 8 9+
# C: - +
# D: 0 1 5 6 7 8 9+
# E: 0 1 + 5 6 7 8 9+, p:2
# F: + p:3
# G: 0 1 + 5 6 7 8 9+, p:2, p:3, p:4