solvable(["*" | Trees]) => all(solvable, Trees);

solvable(["+" | Trees]) => some(solvable, Trees);

solvable(1) => 1;

solvable(_) => 0;