The British Nationality Act as a logic program | Synapse