Classes I - II - Resolution Tree class -ll