https://thebossmind.com/understanding-schema-in-logic-and-knowledge-representation/