Input
1.
⊓
+
-rule