The red rope is 19.5 meters long and 2.5 meters shorter than the green rope. How long is the green rope in meters?
红绳长19.5米，比绿绳短2.5米，绿绳长多少米．
<gadget id="calculator">19.5 + 2.5</gadget>
<output>22</output>

<result>22</result>