|context> => |context: global context> cause |c> => |a> . |b> cause |d> => |a> . |b> cause |e> => |d> . |f> |null> => explain[cause] ssplit |abfab>