Proposition parser