Use &s and |s for All and Any; use &v, |v, etc for argument list functors.