ontologies

Logic for CRaG treaty procedure

Logical map

Assumptions

In any given period, in any given House, more than one motion against ratification may be tabled. Purely from a mapping and parsing perspective, one motion per period per House would simplify matters. MH suggests Members may wish to table “reasoned” motions so this logic allows for multiple motions in parallel,

A question may be put

In a given period, in a given House, a question is ALLOWED be put if …

... the SUM of motions having the question put, being withdrawn, lapsed, not moved and not called ...

... does NOT EQUAL the number of motions tabled.

At the end of any period, all extant motions - those not having had the question put - will be placed into one four states: being withdrawn, lapsed, not moved and not called.

A motion being approved in a period in a House, the Table Offices will request that Members withdraw any motion still extant.

Regardless of whether the motion is withdrawn, the Table Offices will remove any extant motion from the Order Paper.

A motion being approved in a period in a House, any extant motions being not withdrawn will be placed into a state of ‘not called’. This may vary across Houses and is still to be decided upon.

In the House of Lords …

… a motion that the treaty should not be ratified

A motion that the treaty should not be ratified is ALLOWED to be tabled in the House of Lords if …

... the treaty has been laid into the Lords ...

... AND NEITHER section 22 has been invoked NOR has the treaty been withdrawn from the Lords ...

... AND NEITHER period A NOR extended period A have ended ...

... AND a motion that the treaty should not be ratified has NOT been approved in the Lords.

… a question can be put

A question on a motion the treaty should not be ratified is ALLOWED to be put in the House of Lords if …

... there is an extant motion - see above ...

... AND NEITHER section 22 has been invoked NOR has the treaty been withdrawn from the LORDs ...

... AND NEITHER period A NOR extended period A have ended ...

... AND a motion that the treaty should not be ratified has NOT been approved in the Lords.

… the Government can make a statement

The Government is ALLOWED to make a statement that the treaty should nonetheless be ratified if …

... a motion to not ratify the treaty has been approved in that House ...

... AND the Government have not already made such a statement.

In the House of Commons …

… a motion that the treaty should not be ratified

A motion that the treaty should not be ratified is ALLOWED to be tabled in the House of Commons if …

EITHER (

	#### In period A

	The treaty has been laid into the Commons ...

	... AND section 22 has not been invoked ...

	... AND NEITHER period A NOR extended period A have ended ...

	... AND a motion that the treaty should not be ratified has NOT been approved in the Commons.

)

OR (

	#### In a period B

	(

		The number of times period B has started does NOT EQUAL the number of times period B has ended ...

		... AND the number of times period B has started EQUALS the number of times a motion that the treaty should not be ratified has been approved in the Commons INCREMENTED by one.

)

AND the treaty has not been withdrawn.

… a question can be put

A question on a motion the treaty should not be ratified is ALLOWED to be put in the House of Commons if …

... there is an extant motion - see above ...

... AND the treaty been withdrawn from the Commons ...

... AND EITHER (

	#### In period A

	NEITHER period A NOR extended period A have ended ...

	... AND NEITHER section 22 has been invoked ...

	... NOR has a motion that the treaty should not be ratified been approved in the Commons.

)

OR (

	#### In a period B

	The number of times period B has started does NOT EQUAL the number of times period B has ended ...

	... AND the number of times period B has started does NOT EQUAL the number of times a motion that the treaty should not be ratified has been approved in the Commons INCREMENTED by one ...
	
)

… the Government can make a statement

The Government is ALLOWED to make a statement that the treaty should nonetheless be ratified if …

... the number of time the Government has made such a statement does NOT EQUAL the number of times the House has approved a motion that the treaty should not be ratified .

In either House …

… a motion can be resolved

A motion can be resolved - approved or rejected - if …

... the SUM of the number of times a motion has been approved in that House and the number of times a motion has been rejected in that House ...

... does NOT EQUAL the number of times a question has been put in that House.

Period B

Period B starts

Period B starts if …

... the number of times the Government has made a statement that the treaty should nonetheless be ratified in the Commons is NOT EQUAL to the number of time period B has started.

Period B ends

Period B ends if …

... the number of times period B has started is NOT EQUAL to the number of time period B has ended.

Procedure concluded

Treaty may not be ratified

The treaty may not be ratified - under this procedure - if it is withdrawn.

The Government may make a statement that the treaty should nonetheless be ratified at any point triggering a new period B. There is no possibility of fatality on the part of either House.

Treaty may be ratified

The Government may ratify the treaty if …

EITHER (

	Section 22 is invoked.

)

OR (
	
	#### Period A

	EITHER period A OR extended period A have ended ...

	... AND a motion that the treaty should not be ratified has NOT been approved in the Commons.

	... AND EITHER (

		the Government have made a statement that the treaty should nonetheless be ratified in the Lords ...

	)

	OR (

		A motion that the treaty should not be ratified has NOT been approved in the Lords.

	)
	
)

OR (
	
	#### Period B

	The number of times period B has ended EQUALS the number of times a motion that the treaty should not be ratified has been approved in the Commons ...

	... and period B has started at least once ...

	... and the number of times that period B has started EQUALs the number of times that period B has ended.

)