Subtypes of :Proposition can show assertional status.