Partial SingleAssignment