Destructuring relation types in match statements.

Is there any semantic difference between the following two queries?

match
$user isa user, has id "u0003";
(located: $user, location: $place) isa locating;

match
$user isa user, has id "u0003";
(located: $user, location: $place) isa locating;

match
$user isa user, has id "u0003";
locating (located: $user, location: $place);

match
$user isa user, has id "u0003";
locating (located: $user, location: $place);

If not, which one would be considered more canonical way of writing TypeQL?