The category "<vector-not_has_destination>" can be expressed as follows:
<vector_prefix> <vector_spec>
<vector_prefix> <vector_spec> <vector_purpose>