Use cases: how the human-machine collaboration takes place, i.e., the structure and flow of actors' actions with the task allocations (who, when, where),
Function (requirement), i.e., what the machine shall do to serve the objectives in the corresponding use cases,
Claim, specifiying the expected Effect of the situated Function (i.e., situated in the use case) to provide the justification (why).
