// make sure the RME Groundig Operator "Priority" is selected
setConfigOption("rme.gop", "Priority Operator")

print("*** alarm(james) ***");
print(query("alarm.blp", "alarm(james) | neighbourhood(james)=average, neighbourhood(stefan)=good", "alarm_evidences.krsa"));
print(query("alarm.mln", "alarm(james) | neighbourhood(james,average), neighbourhood(stefan,good)", "alarm_evidences.krsa"));
print(query("alarm.rme", "alarm(james) | neighbourhood(james,average), neighbourhood(stefan,good)", "alarm_evidences.krsa"));

print("*** alarm(stefan) ***");
print(query("alarm.blp", "alarm(stefan) | neighbourhood(james)=average, neighbourhood(stefan)=good", "alarm_evidences.krsa"));
print(query("alarm.mln", "alarm(stefan) | neighbourhood(james,average), neighbourhood(stefan,good)", "alarm_evidences.krsa"));
print(query("alarm.rme", "alarm(stefan) | neighbourhood(james,average), neighbourhood(stefan,good)", "alarm_evidences.krsa"));

print(print("*** burglary(stefan) ***"));
print(query("alarm.blp", "burglary(stefan) | neighbourhood(james)=average, neighbourhood(stefan)=good", "alarm_evidences.krsa"));
print(query("alarm.mln", "burglary(stefan) | neighbourhood(james,average), neighbourhood(stefan,good)", "alarm_evidences.krsa"));
print(query("alarm.rme", "burglary(stefan) | neighbourhood(james,average), neighbourhood(stefan,good)", "alarm_evidences.krsa"));