{ "declared_not_satisfied": 0, "declared_not_yet_checked": 0, "declared_satisfied": 0, "matched": 0 }