Add proposition and syllogism parsing