// Nome Cognome, data, titolo dell'unità
Vincenzo Lombardo, 04 novembre 2019, Unità 1.2 di Madre Courage
// KB (& = AND) 
// Unit
Unit(Unit1.2) &
// Agent - MadreCourage
Agent(MadreCourage) & 
Value(figli-MC) & 
hasValue(MadreCourage,figli-MC) &
Goal(G_MC_EvitareReclutamentoAiFigli) & 
hasGoal(MadreCourage,G_MC_EvitareReclutamentoAiFigli) &
Plan(P_MC_DistrarreUfficiali) & 
intends(MadreCourage,P_MC_DistrarreUfficiali) &
achieves(P_MC_DistrarreUfficiali,G_MC_EvitareReclutamentoAiFigli) &
StateSet(Preconditions-DU) & 
StateSet(Effects-DU) &
hasPrecondition(P_MC_DistrarreUfficiali,Preconditions-DU) &
hasEffect(P_MC_DistrarreUfficiali,Effects-DU) &
atStakeInSet(figli-MC, Preconditions-DU) & 
inBalanceInSet(figli-MC, Effects-DU) &
// Agent - Brigadiere
Agent(Brigadiere) &
Value(zelo-Br) & hasValue(Brigadiere,zelo-Br) &
Goal(G_B_SupportareLavoroDelReclutatore) & 
hasGoal(Brigadiere,G_B_SupportareLavoroDelReclutatore) &
Plan(P_B_ProcurareContattoFigliCourage) & 
intends(Brigadiere,P_B_ProcurareContattoFigliCourage) &
achieves(P_B_ProcurareContattoFigliCourage,G_B_SupportareLavoroDelReclutatore) &
StateSet(Preconditions-SR) & StateSet(Effects-SR) &
hasPrecondition(P_B_ProcurareContattoFigliCourage,Preconditions-SR) & 
hasEffect(P_B_ProcurareContattoFigliCourage,Effects-SR) &
atStakeInSet(zelo-Br,Preconditions-SR) & 
inBalanceInSet(zelo-Br,Effects-SR) &
// Agent - Reclutatore
Agent(Reclutatore) & 
Value(senso_dello_stato) & 
hasValue(Reclutatore,senso_dello_stato) &
Goal(G_R_ReclutareSoldati) & 
hasGoal(Reclutatore,G_R_ReclutareSoldati) &
Plan(P_R_ReclutareFigliCourage) & 
intends(Reclutatore,P_R_ReclutareFigliCourage) &
achieves(P_R_ReclutareFigliCourage,G_R_ReclutareSoldati) &
StateSet(Preconditions-RF) & 
StateSet(Effects-RF) &
hasPrecondition(P_R_ReclutareFigliCourage,Preconditions-RF) &
hasEffect(P_R_ReclutareFigliCourage,Effects-RF) &  
atStakeInSet(senso_dello_stato,Preconditions-RF) &
inBalanceInSet(senso_dello_stato,Effects-RF) & 
// Plans and Unit 
isMotivationFor(P_MC_DistrarreUfficiali,Unit1.2) & 
unaccomplished(P_MC_DistrarreUfficiali) & 
isMotivationFor(P_B_ProcurareContattoFigliCourage,Unit1.2) & 
accomplished(P_B_ProcurareContattoFigliCourage) &
isMotivationFor(P_R_ReclutareFigliCourage,Unit1.2) & 
unaccomplished(P_R_ReclutareFigliCourage) & 
inConflictWith(P_MC_DistrarreUfficiali,P_B_ProcurareContattoFigliCourage) &
inConflictWith(P_B_ProcurareContattoFigliCourage,P_MC_DistrarreUfficiali) &
inSupportOf(P_B_ProcurareContattoFigliCourage,P_R_ReclutareFigliCourage) &
// Values
StateSet(Preconditions1.2) & 
StateSet(Effects1.2) &
hasPrecondition(Unit1.2, Preconditions1.2) & 
hasEffect(Unit1.2, Effects1.2) &  
inBalanceInSet(zelo-Br,Effects1.2)
// Add-on
Unit(Unit_1.3MC) & 
Plan(P_MC_ProseguireCammino) &
inConflictWith(P_B_ProcurareContattoFigliCourage,P_MC_ProseguireCammino) &
isMotivationFor(P_MC_ProseguireCammino,Unit1.3MC) & 
precedes(Unit1.2,Unit1.3MC) 
===