Parts & Wholes Semantics P by Friederike Moltmann