KL-ONE
Subsystem
ALC (5616)