The category "<vector-has_destination-recursive>" can be expressed as follows:

<vector-has_destination-recursive>

<vector-not_has_destination> <contact_command>

<vector-not_has_destination> <purpose_connective> <contact_command>

<vector_directive> at <point_name>

<vector_directive-cap> at <point_name> <vector_purpose-cap>

<vector_directive-holding_point> at <point_name> <vector_purpose-holding_point>

<vector_prefix> <air_location>