Small Changes. Now it can deal with Cardinal relations.