1.0::event(e1, d11_open, 0). 1.0::event(e2, d11_close, 13). 1.0::event(e3, d11_open, 13). 1.0::event(e4, m13, 19). 1.0::event(e5, m13, 25). 1.0::event(e6, m02, 29). 0.125::instance(i1, prepare_birthday_card, 0, 29); 0.125::instance(i1, prepare_soup, 0, 29); 0.125::instance(i1, watch_dvd, 0, 29); 0.125::instance(i1, fill_medication_dispenser, 0, 29); 0.125::instance(i1, choose_outfit, 0, 29); 0.125::instance(i1, clean, 0, 29); 0.125::instance(i1, water_plants, 0, 29); 0.125::instance(i1, answer_phone, 0, 29). related(Z, Y) :- instance(X, Y, A, B), producedBy(Z, X). bond(X, Y) :- related(Z, Y), instance(X, Y, A, B). r1 :- bond(i1, prepare_birthday_card), \+bond(i1, prepare_soup), \+bond(i1, watch_dvd), \+bond(i1, fill_medication_dispenser), \+bond(i1, choose_outfit), \+bond(i1, clean), \+bond(i1, water_plants), \+bond(i1, answer_phone); bond(i1, prepare_soup), \+bond(i1, prepare_birthday_card), \+bond(i1, watch_dvd), \+bond(i1, fill_medication_dispenser), \+bond(i1, choose_outfit), \+bond(i1, clean), \+bond(i1, water_plants), \+bond(i1, answer_phone); bond(i1, watch_dvd), \+bond(i1, prepare_birthday_card), \+bond(i1, prepare_soup), \+bond(i1, fill_medication_dispenser), \+bond(i1, choose_outfit), \+bond(i1, clean), \+bond(i1, water_plants), \+bond(i1, answer_phone); bond(i1, fill_medication_dispenser), \+bond(i1, prepare_birthday_card), \+bond(i1, prepare_soup), \+bond(i1, watch_dvd), \+bond(i1, choose_outfit), \+bond(i1, clean), \+bond(i1, water_plants), \+bond(i1, answer_phone); bond(i1, choose_outfit), \+bond(i1, prepare_birthday_card), \+bond(i1, prepare_soup), \+bond(i1, watch_dvd), \+bond(i1, fill_medication_dispenser), \+bond(i1, clean), \+bond(i1, water_plants), \+bond(i1, answer_phone); bond(i1, clean), \+bond(i1, prepare_birthday_card), \+bond(i1, prepare_soup), \+bond(i1, watch_dvd), \+bond(i1, fill_medication_dispenser), \+bond(i1, choose_outfit), \+bond(i1, water_plants), \+bond(i1, answer_phone); bond(i1, water_plants), \+bond(i1, prepare_birthday_card), \+bond(i1, prepare_soup), \+bond(i1, watch_dvd), \+bond(i1, fill_medication_dispenser), \+bond(i1, choose_outfit), \+bond(i1, clean), \+bond(i1, answer_phone); bond(i1, answer_phone), \+bond(i1, prepare_birthday_card), \+bond(i1, prepare_soup), \+bond(i1, watch_dvd), \+bond(i1, fill_medication_dispenser), \+bond(i1, choose_outfit), \+bond(i1, clean), \+bond(i1, water_plants). 1.0:: producedBy(e1, i1). 1.0:: producedBy(e2, i1). 1.0:: producedBy(e3, i1). 1.0:: producedBy(e4, i1). 1.0:: producedBy(e5, i1). 1.0:: producedBy(e6, i1). r2 :- related(e1, prepare_birthday_card), \+related(e1, prepare_soup), \+related(e1, watch_dvd), \+related(e1, fill_medication_dispenser), \+related(e1, choose_outfit), \+related(e1, clean), \+related(e1, water_plants), \+related(e1, answer_phone); related(e1, prepare_soup), \+related(e1, prepare_birthday_card), \+related(e1, watch_dvd), \+related(e1, fill_medication_dispenser), \+related(e1, choose_outfit), \+related(e1, clean), \+related(e1, water_plants), \+related(e1, answer_phone); related(e1, watch_dvd), \+related(e1, prepare_birthday_card), \+related(e1, prepare_soup), \+related(e1, fill_medication_dispenser), \+related(e1, choose_outfit), \+related(e1, clean), \+related(e1, water_plants), \+related(e1, answer_phone); related(e1, fill_medication_dispenser), \+related(e1, prepare_birthday_card), \+related(e1, prepare_soup), \+related(e1, watch_dvd), \+related(e1, choose_outfit), \+related(e1, clean), \+related(e1, water_plants), \+related(e1, answer_phone); related(e1, choose_outfit), \+related(e1, prepare_birthday_card), \+related(e1, prepare_soup), \+related(e1, watch_dvd), \+related(e1, fill_medication_dispenser), \+related(e1, clean), \+related(e1, water_plants), \+related(e1, answer_phone); related(e1, clean), \+related(e1, prepare_birthday_card), \+related(e1, prepare_soup), \+related(e1, watch_dvd), \+related(e1, fill_medication_dispenser), \+related(e1, choose_outfit), \+related(e1, water_plants), \+related(e1, answer_phone); related(e1, water_plants), \+related(e1, prepare_birthday_card), \+related(e1, prepare_soup), \+related(e1, watch_dvd), \+related(e1, fill_medication_dispenser), \+related(e1, choose_outfit), \+related(e1, clean), \+related(e1, answer_phone); related(e1, answer_phone), \+related(e1, prepare_birthday_card), \+related(e1, prepare_soup), \+related(e1, watch_dvd), \+related(e1, fill_medication_dispenser), \+related(e1, choose_outfit), \+related(e1, clean), \+related(e1, water_plants). r3 :- related(e2, prepare_birthday_card), \+related(e2, prepare_soup), \+related(e2, watch_dvd), \+related(e2, fill_medication_dispenser), \+related(e2, choose_outfit), \+related(e2, clean), \+related(e2, water_plants), \+related(e2, answer_phone); related(e2, prepare_soup), \+related(e2, prepare_birthday_card), \+related(e2, watch_dvd), \+related(e2, fill_medication_dispenser), \+related(e2, choose_outfit), \+related(e2, clean), \+related(e2, water_plants), \+related(e2, answer_phone); related(e2, watch_dvd), \+related(e2, prepare_birthday_card), \+related(e2, prepare_soup), \+related(e2, fill_medication_dispenser), \+related(e2, choose_outfit), \+related(e2, clean), \+related(e2, water_plants), \+related(e2, answer_phone); related(e2, fill_medication_dispenser), \+related(e2, prepare_birthday_card), \+related(e2, prepare_soup), \+related(e2, watch_dvd), \+related(e2, choose_outfit), \+related(e2, clean), \+related(e2, water_plants), \+related(e2, answer_phone); related(e2, choose_outfit), \+related(e2, prepare_birthday_card), \+related(e2, prepare_soup), \+related(e2, watch_dvd), \+related(e2, fill_medication_dispenser), \+related(e2, clean), \+related(e2, water_plants), \+related(e2, answer_phone); related(e2, clean), \+related(e2, prepare_birthday_card), \+related(e2, prepare_soup), \+related(e2, watch_dvd), \+related(e2, fill_medication_dispenser), \+related(e2, choose_outfit), \+related(e2, water_plants), \+related(e2, answer_phone); related(e2, water_plants), \+related(e2, prepare_birthday_card), \+related(e2, prepare_soup), \+related(e2, watch_dvd), \+related(e2, fill_medication_dispenser), \+related(e2, choose_outfit), \+related(e2, clean), \+related(e2, answer_phone); related(e2, answer_phone), \+related(e2, prepare_birthday_card), \+related(e2, prepare_soup), \+related(e2, watch_dvd), \+related(e2, fill_medication_dispenser), \+related(e2, choose_outfit), \+related(e2, clean), \+related(e2, water_plants). r4 :- related(e3, prepare_birthday_card), \+related(e3, prepare_soup), \+related(e3, watch_dvd), \+related(e3, fill_medication_dispenser), \+related(e3, choose_outfit), \+related(e3, clean), \+related(e3, water_plants), \+related(e3, answer_phone); related(e3, prepare_soup), \+related(e3, prepare_birthday_card), \+related(e3, watch_dvd), \+related(e3, fill_medication_dispenser), \+related(e3, choose_outfit), \+related(e3, clean), \+related(e3, water_plants), \+related(e3, answer_phone); related(e3, watch_dvd), \+related(e3, prepare_birthday_card), \+related(e3, prepare_soup), \+related(e3, fill_medication_dispenser), \+related(e3, choose_outfit), \+related(e3, clean), \+related(e3, water_plants), \+related(e3, answer_phone); related(e3, fill_medication_dispenser), \+related(e3, prepare_birthday_card), \+related(e3, prepare_soup), \+related(e3, watch_dvd), \+related(e3, choose_outfit), \+related(e3, clean), \+related(e3, water_plants), \+related(e3, answer_phone); related(e3, choose_outfit), \+related(e3, prepare_birthday_card), \+related(e3, prepare_soup), \+related(e3, watch_dvd), \+related(e3, fill_medication_dispenser), \+related(e3, clean), \+related(e3, water_plants), \+related(e3, answer_phone); related(e3, clean), \+related(e3, prepare_birthday_card), \+related(e3, prepare_soup), \+related(e3, watch_dvd), \+related(e3, fill_medication_dispenser), \+related(e3, choose_outfit), \+related(e3, water_plants), \+related(e3, answer_phone); related(e3, water_plants), \+related(e3, prepare_birthday_card), \+related(e3, prepare_soup), \+related(e3, watch_dvd), \+related(e3, fill_medication_dispenser), \+related(e3, choose_outfit), \+related(e3, clean), \+related(e3, answer_phone); related(e3, answer_phone), \+related(e3, prepare_birthday_card), \+related(e3, prepare_soup), \+related(e3, watch_dvd), \+related(e3, fill_medication_dispenser), \+related(e3, choose_outfit), \+related(e3, clean), \+related(e3, water_plants). r5 :- related(e4, prepare_birthday_card), \+related(e4, prepare_soup), \+related(e4, watch_dvd), \+related(e4, fill_medication_dispenser), \+related(e4, choose_outfit), \+related(e4, clean), \+related(e4, water_plants), \+related(e4, answer_phone); related(e4, prepare_soup), \+related(e4, prepare_birthday_card), \+related(e4, watch_dvd), \+related(e4, fill_medication_dispenser), \+related(e4, choose_outfit), \+related(e4, clean), \+related(e4, water_plants), \+related(e4, answer_phone); related(e4, watch_dvd), \+related(e4, prepare_birthday_card), \+related(e4, prepare_soup), \+related(e4, fill_medication_dispenser), \+related(e4, choose_outfit), \+related(e4, clean), \+related(e4, water_plants), \+related(e4, answer_phone); related(e4, fill_medication_dispenser), \+related(e4, prepare_birthday_card), \+related(e4, prepare_soup), \+related(e4, watch_dvd), \+related(e4, choose_outfit), \+related(e4, clean), \+related(e4, water_plants), \+related(e4, answer_phone); related(e4, choose_outfit), \+related(e4, prepare_birthday_card), \+related(e4, prepare_soup), \+related(e4, watch_dvd), \+related(e4, fill_medication_dispenser), \+related(e4, clean), \+related(e4, water_plants), \+related(e4, answer_phone); related(e4, clean), \+related(e4, prepare_birthday_card), \+related(e4, prepare_soup), \+related(e4, watch_dvd), \+related(e4, fill_medication_dispenser), \+related(e4, choose_outfit), \+related(e4, water_plants), \+related(e4, answer_phone); related(e4, water_plants), \+related(e4, prepare_birthday_card), \+related(e4, prepare_soup), \+related(e4, watch_dvd), \+related(e4, fill_medication_dispenser), \+related(e4, choose_outfit), \+related(e4, clean), \+related(e4, answer_phone); related(e4, answer_phone), \+related(e4, prepare_birthday_card), \+related(e4, prepare_soup), \+related(e4, watch_dvd), \+related(e4, fill_medication_dispenser), \+related(e4, choose_outfit), \+related(e4, clean), \+related(e4, water_plants). r6 :- related(e5, prepare_birthday_card), \+related(e5, prepare_soup), \+related(e5, watch_dvd), \+related(e5, fill_medication_dispenser), \+related(e5, choose_outfit), \+related(e5, clean), \+related(e5, water_plants), \+related(e5, answer_phone); related(e5, prepare_soup), \+related(e5, prepare_birthday_card), \+related(e5, watch_dvd), \+related(e5, fill_medication_dispenser), \+related(e5, choose_outfit), \+related(e5, clean), \+related(e5, water_plants), \+related(e5, answer_phone); related(e5, watch_dvd), \+related(e5, prepare_birthday_card), \+related(e5, prepare_soup), \+related(e5, fill_medication_dispenser), \+related(e5, choose_outfit), \+related(e5, clean), \+related(e5, water_plants), \+related(e5, answer_phone); related(e5, fill_medication_dispenser), \+related(e5, prepare_birthday_card), \+related(e5, prepare_soup), \+related(e5, watch_dvd), \+related(e5, choose_outfit), \+related(e5, clean), \+related(e5, water_plants), \+related(e5, answer_phone); related(e5, choose_outfit), \+related(e5, prepare_birthday_card), \+related(e5, prepare_soup), \+related(e5, watch_dvd), \+related(e5, fill_medication_dispenser), \+related(e5, clean), \+related(e5, water_plants), \+related(e5, answer_phone); related(e5, clean), \+related(e5, prepare_birthday_card), \+related(e5, prepare_soup), \+related(e5, watch_dvd), \+related(e5, fill_medication_dispenser), \+related(e5, choose_outfit), \+related(e5, water_plants), \+related(e5, answer_phone); related(e5, water_plants), \+related(e5, prepare_birthday_card), \+related(e5, prepare_soup), \+related(e5, watch_dvd), \+related(e5, fill_medication_dispenser), \+related(e5, choose_outfit), \+related(e5, clean), \+related(e5, answer_phone); related(e5, answer_phone), \+related(e5, prepare_birthday_card), \+related(e5, prepare_soup), \+related(e5, watch_dvd), \+related(e5, fill_medication_dispenser), \+related(e5, choose_outfit), \+related(e5, clean), \+related(e5, water_plants). r7 :- related(e6, prepare_birthday_card), \+related(e6, prepare_soup), \+related(e6, watch_dvd), \+related(e6, fill_medication_dispenser), \+related(e6, choose_outfit), \+related(e6, clean), \+related(e6, water_plants), \+related(e6, answer_phone); related(e6, prepare_soup), \+related(e6, prepare_birthday_card), \+related(e6, watch_dvd), \+related(e6, fill_medication_dispenser), \+related(e6, choose_outfit), \+related(e6, clean), \+related(e6, water_plants), \+related(e6, answer_phone); related(e6, watch_dvd), \+related(e6, prepare_birthday_card), \+related(e6, prepare_soup), \+related(e6, fill_medication_dispenser), \+related(e6, choose_outfit), \+related(e6, clean), \+related(e6, water_plants), \+related(e6, answer_phone); related(e6, fill_medication_dispenser), \+related(e6, prepare_birthday_card), \+related(e6, prepare_soup), \+related(e6, watch_dvd), \+related(e6, choose_outfit), \+related(e6, clean), \+related(e6, water_plants), \+related(e6, answer_phone); related(e6, choose_outfit), \+related(e6, prepare_birthday_card), \+related(e6, prepare_soup), \+related(e6, watch_dvd), \+related(e6, fill_medication_dispenser), \+related(e6, clean), \+related(e6, water_plants), \+related(e6, answer_phone); related(e6, clean), \+related(e6, prepare_birthday_card), \+related(e6, prepare_soup), \+related(e6, watch_dvd), \+related(e6, fill_medication_dispenser), \+related(e6, choose_outfit), \+related(e6, water_plants), \+related(e6, answer_phone); related(e6, water_plants), \+related(e6, prepare_birthday_card), \+related(e6, prepare_soup), \+related(e6, watch_dvd), \+related(e6, fill_medication_dispenser), \+related(e6, choose_outfit), \+related(e6, clean), \+related(e6, answer_phone); related(e6, answer_phone), \+related(e6, prepare_birthday_card), \+related(e6, prepare_soup), \+related(e6, watch_dvd), \+related(e6, fill_medication_dispenser), \+related(e6, choose_outfit), \+related(e6, clean), \+related(e6, water_plants). evidence(r1,true). evidence(r2,true). evidence(r3,true). evidence(r4,true). evidence(r5,true). evidence(r6,true). evidence(r7,true). closeAfter(T1, T2) :- T1 > T2, T3 is T1 - T2, T3 < 2. 0.3::producedBy(X2, I) :- event(X1, Y1, T1), event(X2, Y2, T2), closeAfter(T2, T1), producedBy(X1, I). 1.0::bond(Y, answer_phone) :- event(e1, p01_start, T1), producedBy(e1, Y). 1.0::bond(Y, answer_phone) :- event(e2, p01_start, T1), producedBy(e2, Y). 1.0::bond(Y, answer_phone) :- event(e3, p01_start, T1), producedBy(e3, Y). 1.0::bond(Y, answer_phone) :- event(e4, p01_end, T1), producedBy(e4, Y). 1.0::bond(Y, answer_phone) :- event(e5, p01_end, T1), producedBy(e5, Y). 1.0::bond(Y, answer_phone) :- event(e6, p01_end, T1), producedBy(e6, Y). 1.0::bond(Y, water_plants) :- event(X1, ad1-c, T1), event(X2, d11_open, T2), producedBy(X1, Y). 1.0::bond(Y, water_plants) :- event(X1, ad1-b, T1), event(X2, d11_open, T2), producedBy(X1, Y). 1.0::bond(Y, water_plants) :- event(X1, ad1-c, T1), event(X2, d11_close, T2), producedBy(X1, Y). 1.0::bond(Y, water_plants) :- event(X1, ad1-c, T1), event(X2, d11_close, T2), producedBy(X1, Y). r99 :- event(X1, m02, T1), event(X2, m03, T2), producedBy(X1, Y), bond(Y, watch_dvd). evidence(r99, false). r98 :- event(X1, m13, T1), event(X2, d11_close, T2), producedBy(X1, Y), bond(Y, prepare_birthday_card). evidence(r98, false). r97 :- event(X1, m13, T1), event(X2, d11_open, T2), producedBy(X1, Y), bond(Y, prepare_birthday_card). evidence(r97, false). r90 :- event(e5, p01_start, T1), producedBy(e5, Y), bond(Y, answer_phone). evidence(r90, false). r91 :- event(e6, p01_start, T1), producedBy(e6, Y), bond(Y, answer_phone). evidence(r91, false). 0.005453::related(X1, water_plants) :- event(X1, m13, T1). 0.118866::related(X2, answer_phone) :- event(X2, m13, T2). 0.738277::related(X3, prepare_birthday_card) :- event(X3, m13, T3). 0.026172::related(X4, prepare_soup) :- event(X4, m13, T4). 0.111232::related(X5, clean) :- event(X5, m13, T5). 0.016807::related(X6, fill_medication_dispenser) :- event(X6, m02, T6). 0.786555::related(X7, watch_dvd) :- event(X7, m02, T7). 0.02521::related(X8, water_plants) :- event(X8, m02, T8). 0.013445::related(X9, answer_phone) :- event(X9, m02, T9). 0.033613::related(X10, prepare_birthday_card) :- event(X10, m02, T10). 0.005042::related(X11, prepare_soup) :- event(X11, m02, T11). 0.119328::related(X12, clean) :- event(X12, m02, T12). 0.435028::related(X13, water_plants) :- event(X13, d11_open, T13). 0.564972::related(X14, clean) :- event(X14, d11_open, T14). 0.435028::related(X15, water_plants) :- event(X15, d11_close, T15). 0.564972::related(X16, clean) :- event(X16, d11_close, T16). query(bond(_,_)).