Combinatorial Counting

Step 1: Modelling

Step 2: Lifted Reasoning