Formalizing and operationalizing a design task with KARL