Describir: Schema Complexity in Propositional-Based Logics