Parts/wholes Semantics C by Friederike Moltmann