A power-order semantics for Nonmonotonic Logic I & II