Compositional Analysis