forked from GitHub/gf-core
20 lines
297 B
Plaintext
20 lines
297 B
Plaintext
(S:2 (E:1 (_:0 ?1)) is even)
|
|
|
|
(S:3 exists x such that (S:2 (E:1 (_:0 x)) is even))
|
|
|
|
(S:1 (E:0 a))
|
|
|
|
(S:1 (E:0 aa) a)
|
|
|
|
(S:1 (E:0 a) b)
|
|
|
|
(S:1 (String:0 abcd) is string)
|
|
|
|
(S:1 (Int:0 100) is integer)
|
|
|
|
(S:1 (Float:0 12.4) is float)
|
|
|
|
(S:1 (String:0 xyz) is string)
|
|
|
|
cannot linearize
|