Simulating Multiwinner Voting Rules in Judgment Aggregation | Synapse