improve query result container
add cloning constructor
refactor & implementing reasoning tree (see light in the tunnel).