Fix sense formatting in 60_cardinality