http://dbpedia.org/resource/Action_computational_tree_logic
data from the linked data cloud