Mary is a citizen. together with the five abducible predicates, "is born in the USA", "is born outside the USA", "is a resident of the USA", "is naturalized" and "is registered" and the integrity constraint: false if John is a resident of the USA.
Мери је грађанин. заједно са пет абдуцибле предиката "је рођен у САД", "је рођен изван САД", "је становник САД", "је натурализовани" и "регистровани и интегритет ограничење: лаж ако је Џон становник САД.