add sexprparse, modify extraction algorithm for semantic alignment.