Here is otter output of this example
Mine navigeerimisribale
Mine otsikasti
----- Otter 3.3, August 2003 ----- The process was started by a Windows user on a Windows machine, Tue Nov 17 18:31:54 2015 The command was "Otter\bin\otter.exe". WARNING: clear(auto) flag already clear. clear(auto). set(prolog_style_variables). set(hyper_res). set(factor). clear(print_given). WARNING: set(print_kept) flag already set. set(print_kept). assign(stats_level,0). assign(max_seconds,10). list(sos). 1 [] rdf("http://en.wikipedia.org/wiki/Barack_Obama","id:action","id:local_1"). 2 [] rdf("id:local_1","id:isactivity","http://conceptnet5.media.mit.edu/web/c/en/go"). 3 [] rdf("id:local_1","id:extrainfo","http://conceptnet5.media.mit.edu/web/c/en/yesterday"). 4 [] rdf("http://en.wikipedia.org/wiki/Barack_Obama","http://conceptnet5.media.mit.edu/web/c/en/live","https://en.wikipedia.org/wiki/Grand_Hyatt_Beijing"). 5 [] rdf("https://en.wikipedia.org/wiki/Grand_Hyatt_Beijing","http://conceptnet5.media.mit.edu/web/c/en/type/v/identify_as_belonging_to_a_certain_type","id:local_2"). 6 [] rdf("id:local_2","id:isobject","http://conceptnet5.media.mit.edu/web/c/en/hotel"). 7 [] rdf("id:local_2","id:extrainfo","http://conceptnet5.media.mit.edu/web/c/en/superb"). 8 [] -rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/person")|rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/animal"). 9 [] -rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/animal")|rdf(X,"id:type","mortal"). 10 [] -rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/person")|rdf(X,"id:CapableOf","id:eat"). 11 [] -rdf(X,"http://conceptnet5.media.mit.edu/web/c/en/live",Y)|rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/animal"). 12 [] -rdf(X,"http://conceptnet5.media.mit.edu/web/c/en/type/v/identify_as_belonging_to_a_certain_type",Y)| -rdf(Y,"id:isobject",Z)|rdf(X,"id:type",Z). 13 [] -rdf(X,"http://conceptnet5.media.mit.edu/web/c/en/live",Y)| -rdf(Y,"id:type","http://conceptnet5.media.mit.edu/web/c/en/hotel")| -rdf(Y,"http://conceptnet5.media.mit.edu/web/c/en/type/v/identify_as_belonging_to_a_certain_type",Z)| -rdf(Z,"id:extrainfo","http://conceptnet5.media.mit.edu/web/c/en/superb")|rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/rich"). end_of_list. ======= end of input processing ======= =========== start of search =========== ** KEPT (pick-wt=4): 14 [hyper,11,4] rdf("http://en.wikipedia.org/wiki/Barack_Obama","id:type","http://conceptnet5.media.mit.edu/web/c/en/animal"). ** KEPT (pick-wt=4): 15 [hyper,14,9] rdf("http://en.wikipedia.org/wiki/Barack_Obama","id:type","mortal"). ** KEPT (pick-wt=4): 16 [hyper,12,5,6] rdf("https://en.wikipedia.org/wiki/Grand_Hyatt_Beijing","id:type","http://conceptnet5.media.mit.edu/web/c/en/hotel"). ** KEPT (pick-wt=4): 17 [hyper,13,4,16,5,7] rdf("http://en.wikipedia.org/wiki/Barack_Obama","id:type","http://conceptnet5.media.mit.edu/web/c/en/rich"). Search stopped because sos empty. ============ end of search ============ Process 0 finished Tue Nov 17 18:31:54 2015