Guaranteeing Half-Maximin Shares Under Cardinality Constraints | Synapse