cardinala   
isa a
cardinal A [1.13]