Create FunctionalSpecList