'>' is a valid char for identifiers, so [a>b>c] could be parsed as [prop(a>b>c)] or [prop(a>b) > prop(c)] or [prop(a) > prop(b>c)].

which interpretation is correct?