Table 5: Comparison results 1.

Pattern/Scope SPIN LTL2NBA TMP LTL2BA
Old, New Old, New Old, New Old, New

Absence After 𝐿 14, 3 6, 3 3, 3 4, 3

Existence Before 𝑅 6, 2 2, 2 2, 2 2, 2

Existence After 𝐿 7, 2 3, 2 3, 2 3, 2

Existence Between 𝐿 and 𝑅 7, 3 3, 3 3, 3 3, 3

Universality After 𝐿 14, 3 4, 3 3, 3 4, 3

Universality After 𝐿 Until 𝑅 6, 3 3, 3 3, 3 3, 3

Precedence Global 5, 2 2, 2 2, 2 2, 2

Precedence After 𝐿 29, 3 6, 3 4, 3 4, 3

Precedence After 𝐿 Until 𝑅 6, 3 3, 3 3, 3 3, 3

Response Before 𝑅 7, 3 3, 3 3, 3 3, 3

Response After 𝐿 22, 3 10, 3 3, 3 7, 3

Response Between 𝐿 and 𝑅 8, 4 4, 4 4, 4 4, 4

Response After 𝐿 Until 𝑅 9, 5 4, 5 4, 5 4, 5

S-Precedence Global 6, 3 2, 2 2, 2 2, 2

S-Precedence After 𝐿 27, 4 6, 3 4, 3 4, 3

S-Precedence Between 𝐿 and 𝑅 5, 4 4, 4 4, 4 4, 4

S-Precedence After 𝐿 Until 𝑅 7, 3 3, 3 3, 3 3, 3