Moreover, L + 's path-based syntax is much more intuitive and more closely aligned to actual descriptions of structure in the linguistics literature (Palm, 1999).
there is still a price to pay for choosing this path-based variable-free approach over the variables and predicates of classical first-order logic.