Implement abstract reader pattern for Context and ImplicationalSystem