cardinala   
isa a
cardinal A [SLP 1986]