Icon Subsumed
Prolog Subsumed