Text this: Deductive characterization of semantic forcing trees