Toon meer informatie over minor premise
Toon meer informatie over subsumation
Zoektocht duurde: 32,40 ms