Substitutions: {_1?who = :spitsmuis. }.{2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. 2$_$_3?c2 = :spitsmuis. 2$_$_3?c3 = :insectivora. }.{2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. 2$_$_3?c2 = :spitsmuis. 3$_$_3?c1 = :spitsmuis. 2$_$_3?c3 = 3$_$_3?c3. 3$_$_3?c1 = :spitsmuis. 3$_$_3?c2 = 3$_$_3?c3. 4$_$_3?c1 = :spitsmuis. 3$_$_3?c3 = 4$_$_3?c3. }. N3Trace: 12 [:call {:small_spitsmuis rdfs:subClassOf _1?who. }]. :alternatives = {{:small_spitsmuis rdfs:subClassOf :spitsmuis. } {2$_$_3?c1 rdfs:subClassOf 2$_$_3?c2. 2$_$_3?c2 rdfs:subClassOf 2$_$_3?c3. } } :subtitutions = {{_1?who = :spitsmuis. 2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. }.} :goalList = {{ . } {:small_spitsmuis rdfs:subClassOf _1?who. } } {:solution = {_1?who = :spitsmuis. }.}. [:call {:small_spitsmuis rdfs:subClassOf 2$_$_3?c2. }]. :alternatives = {{:small_spitsmuis rdfs:subClassOf :spitsmuis. } {2$_$_3?c1 rdfs:subClassOf 2$_$_3?c2. 2$_$_3?c2 rdfs:subClassOf 2$_$_3?c3. } } :subtitutions = {{2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. 2$_$_3?c2 = :spitsmuis. 2$_$_3?c1 = :small_spitsmuis. 2$_$_3?c2 = 2$_$_3?c3. }.} :goalList = {{2$_$_3?c1 rdfs:subClassOf 2$_$_3?c2. } {2$_$_3?c2 rdfs:subClassOf 2$_$_3?c3. } } [:call {:spitsmuis rdfs:subClassOf 2$_$_3?c3. }]. :alternatives = {{:spitsmuis rdfs:subClassOf :insectivora. } {3$_$_3?c1 rdfs:subClassOf 3$_$_3?c2. 3$_$_3?c2 rdfs:subClassOf 3$_$_3?c3. } } :subtitutions = {{2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. 2$_$_3?c2 = :spitsmuis. 2$_$_3?c3 = :insectivora. 3$_$_3?c1 = :spitsmuis. 2$_$_3?c3 = 3$_$_3?c3. }.} :goalList = {{:small_spitsmuis rdfs:subClassOf :spitsmuis. } {2$_$_3?c2 rdfs:subClassOf 2$_$_3?c3. } } {:solution = {2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. 2$_$_3?c2 = :spitsmuis. 2$_$_3?c3 = :insectivora. }.}. [:call {:spitsmuis rdfs:subClassOf 3$_$_3?c2. }]. :alternatives = {{:spitsmuis rdfs:subClassOf :insectivora. } {3$_$_3?c1 rdfs:subClassOf 3$_$_3?c2. 3$_$_3?c2 rdfs:subClassOf 3$_$_3?c3. } } :subtitutions = {{2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. 2$_$_3?c2 = :spitsmuis. 3$_$_3?c1 = :spitsmuis. 2$_$_3?c3 = 3$_$_3?c3. 3$_$_3?c2 = :insectivora. 3$_$_3?c1 = :spitsmuis. 3$_$_3?c2 = 3$_$_3?c3. }.} :goalList = {{3$_$_3?c1 rdfs:subClassOf 3$_$_3?c2. } {3$_$_3?c2 rdfs:subClassOf 3$_$_3?c3. } } [:call {:insectivora rdfs:subClassOf 3$_$_3?c3. }]. :alternatives = {{4$_$_3?c1 rdfs:subClassOf 4$_$_3?c2. 4$_$_3?c2 rdfs:subClassOf 4$_$_3?c3. } } :subtitutions = {{2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. 2$_$_3?c2 = :spitsmuis. 3$_$_3?c1 = :spitsmuis. 2$_$_3?c3 = 3$_$_3?c3. 3$_$_3?c2 = :insectivora. 4$_$_3?c1 = :insectivora. 3$_$_3?c3 = 4$_$_3?c3. }.} :goalList = {{:spitsmuis rdfs:subClassOf :insectivora. } {3$_$_3?c2 rdfs:subClassOf 3$_$_3?c3. } } [:failed {:insectivora rdfs:subClassOf 4$_$_3?c2. }]. [:call {:spitsmuis rdfs:subClassOf 3$_$_3?c3. }]. :alternatives = {{:spitsmuis rdfs:subClassOf :insectivora. } {4$_$_3?c1 rdfs:subClassOf 4$_$_3?c2. 4$_$_3?c2 rdfs:subClassOf 4$_$_3?c3. } } :subtitutions = {{2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. 2$_$_3?c2 = :spitsmuis. 3$_$_3?c1 = :spitsmuis. 2$_$_3?c3 = 3$_$_3?c3. 3$_$_3?c1 = :spitsmuis. 3$_$_3?c2 = 3$_$_3?c3. 3$_$_3?c3 = :insectivora. 4$_$_3?c1 = :spitsmuis. 3$_$_3?c3 = 4$_$_3?c3. }.} :goalList = {{3$_$_3?c1 rdfs:subClassOf 3$_$_3?c2. } {3$_$_3?c2 rdfs:subClassOf 3$_$_3?c3. } {3$_$_3?c2 rdfs:subClassOf 3$_$_3?c3. } } [:call {:insectivora rdfs:subClassOf :insectivora. }]. :alternatives = {{5$_$_3?c1 rdfs:subClassOf 5$_$_3?c2. 5$_$_3?c2 rdfs:subClassOf 5$_$_3?c3. } } :subtitutions = {{2$_$_3?c1 = :small_spitsmuis. _1?who = 2$_$_3?c3. 2$_$_3?c2 = :spitsmuis. 3$_$_3?c1 = :spitsmuis. 2$_$_3?c3 = 3$_$_3?c3. 3$_$_3?c1 = :spitsmuis. 3$_$_3?c2 = 3$_$_3?c3. 3$_$_3?c3 = :insectivora. 5$_$_3?c1 = :insectivora. 5$_$_3?c3 = :insectivora. }.} :goalList = {{:spitsmuis rdfs:subClassOf :insectivora. } {3$_$_3?c2 rdfs:subClassOf 3$_$_3?c3. } {3$_$_3?c2 rdfs:subClassOf 3$_$_3?c3. } } [:failed {:insectivora rdfs:subClassOf 5$_$_3?c2. }]. [:failed :limitCounter]. Query: {:small_spitsmuis rdfs:subClassOf _1?who. } Solution: {:small_spitsmuis rdfs:subClassOf :spitsmuis. } Solution: {:small_spitsmuis rdfs:subClassOf :insectivora. } Solution: {:small_spitsmuis rdfs:subClassOf 4$_$_3?c3. }