A modellben az isFree(segmentId: Integer) művelet és a SegmentCommand(state: SegmentStateValue) signal is egy-egy argumentummal van definiálva. Ha a diagramon belekattintotok a nyíl feletti feliratba és a zárójelek közé írjátok a megfelelő értékeket akkor el fog tűnni a warning.
