----------------------------------------
|context> => |context: sw console>

supported-ops |animal> => |op: has-skin> + |op: kind-of> + |op: eats>
has-skin |animal> => |yes>
kind-of |animal> => |animal: fish> + |animal: birds> + |animal: mammals>
eats |animal> => |yes>

supported-ops |animal: *> => |op: has-skin> + |op: eats>
has-skin |animal: *> => |yes>
eats |animal: *> => |yes>

supported-ops |animal: fish> => |op: has-gills> + |op: has-scales>
has-gills |animal: fish> => |yes>
has-scales |animal: fish> => |yes>

supported-ops |animal: birds> => |op: has-feathers> + |op: has-beak>
has-feathers |animal: birds> => |yes>
has-beak |animal: birds> => |yes>

supported-ops |animal: mammals> => |op: has-fur>
has-fur |animal: mammals> => |yes>
----------------------------------------