A relation to express that a platoon has a size. This size is defined as 1) the total number of vehicles currently in the platoon; or 2) Length of the platoon (sum of all vehicles’ length + inter-vehicle distance) via s4auto:hasLength property