56:	properties: { country: { type: "string" }, postal_code: { type: "string" } },
58:	then: { properties: { postal_code: { type: "string", pattern: "^[0-9]{5}$" } } },
59:	else: { properties: { postal_code: { type: "string", pattern: "^[A-Z0-9 ]{3,}$" } } }
61:console.log("USA + 12345:", t4.allows({ country: "USA", postal_code: "12345" }))
62:console.log("USA + ABCDE rejected:", !t4.allows({ country: "USA", postal_code: "ABCDE" }))
63:console.log("Canada + K1A 0B1:", t4.allows({ country: "Canada", postal_code: "K1A 0B1" }))
