The formal semantics of clitic doubling · Study