Where it falls apart is west of the Ontario border because instead of each of the western provinces being given a number of senators equal or in comparison to the other provinces that were already in, the four western provinces got only twenty-four senators, in other words, six for Alberta, six for B.C., six for Manitoba and six for Saskatchewan.
Saskatchewan got as many senators as Manitoba.
They both got 6 senators. I'm not sure why this was difficult really, maybe the system has trouble comparing values when they are written as words, not sure.
( z1 get :ARG0 ( z2 province :name ( z3 name :op "Saskatchewan" ) ) :ARG1 ( z4 person :ARG0-of ( z5 have-org-role :ARG1 ( z6 government-organization :name ( z7 name :op "Senate" ) ) :ARG2 ( z8 senator ) ) :ARG1-of ( z9 have-quant :ARG3 ( z10 equal ) :ARG4 ( z11 province :name ( z12 name :op "Manitoba" ) ) ) ) )