%{MilitaryOperation "A &%MilitaryOperation is distinguished from the broader class of &%MilitaryProcess in that it is planned in advance."}% sort U ops AvailableForMilitaryServiceMaleFn, Battalion, BinaryFunction, BinaryPredicate, Brigade, CoastGuard, CognitiveAgent, CommissionedOfficerRank, CompanyGradeRank, Convoy, CurrencyMeasure, EnglishLanguage, EnlistedSoldierRank, EnlistedSolidierRank, False, FieldGradeOfficerRank, FitForMilitaryServiceMaleFn, FlagOfficerRank, Food, FoodDistribution, FoodDistributionOperation, GeopoliticalArea, Human, Integer, Male, MilitaryConvoy, MilitaryEchelon, MilitaryFoodTruck, MilitaryForce, MilitaryHardware, MilitaryOperation, MilitaryOrganization, MilitaryPlatform, MilitaryProcess, MilitaryRank, MilitarySupplyTruck, MilitarySupportVehicle, MilitaryUnit, MilitaryVehicle, NonCommissionedOfficerRank, Object, PeacekeepingUnit, Plan, Platoon, Position, Process, Pulling, RationalNumber, ReachingMilitaryAgeAnnuallyMaleFn, SecurityOperation, SpatialRelation, TernaryPredicate, TimeDuration, TimeInterval, Transportation, TransportationDevice, Truck, True, USArmyRankingSystem, USMilitaryRank, USMilitaryRankE1, USMilitaryRankE2, USMilitaryRankE3, USMilitaryRankE4, USMilitaryRankE5, USMilitaryRankE6, USMilitaryRankE7, USMilitaryRankE8, USMilitaryRankE9, USMilitaryRankO1, USMilitaryRankO2, USMilitaryRankO3, USMilitaryRankO4, USMilitaryRankO5, USMilitaryRankO6, USMilitaryRankO7, USMilitaryRankO8, USMilitaryRankO9, UnaryFunction, ViolentContest, Year, a_1, a_1_Period_0, a_2, a_3, a_A_i_r_F_o_r_c_e_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, a_C_o_m_p_a_n_y_Minus_M_i_l_i_t_a_r_y, a_M_a_r_i_n_e_s_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, a_N_a_v_a_l_A_i_r_F_o_r_c_e_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, a_N_a_v_y_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, a_Quot_1_s_t_Space_L_i_e_u_t_e_n_a_n_t_Quot, a_Quot_2_n_d_Space_L_i_e_u_t_e_n_a_n_t_Quot, a_Quot_A_i_r_Space_F_o_r_c_e_Quot, a_Quot_B_r_i_g_a_d_i_e_r_Space_G_e_n_e_r_a_l_Quot, a_Quot_C_a_p_t_a_i_n_Quot, a_Quot_C_o_a_s_t_Space_G_u_a_r_d_Quot, a_Quot_C_o_l_o_n_e_l_Quot, a_Quot_L_i_e_u_t_e_n_a_n_t_Space_C_o_l_o_n_e_l_Quot, a_Quot_M_a_j_o_r_Quot, a_Quot_M_a_j_o_r_Space_G_e_n_e_r_a_l_Quot, a_Quot_M_a_r_i_n_e_Space_C_o_r_p_s_Quot, a_Quot_N_a_v_a_l_Space_A_i_r_Space_F_o_r_c_e_Quot, a_Quot_OBr_Amp_Percent_m_i_l_i_t_a_r_y_E_x_p_e_n_d_i_t_u_r_e_s_F_r_a_c_t_i_o_n_O_f_G_D_P_I_n_P_e_r_i_o_d_Space_Quest_A_R_E_A_Space_Quest_F_R_A_C_T_I_O_N_Space_Quest_P_E_R_I_O_D_CBr_Space_Newline_m_e_a_n_s_Space_t_h_a_t_Space_t_h_e_Space_e_s_t_i_m_a_t_e_d_Space_m_i_l_i_t_a_r_y_Space_s_p_e_n_d_i_n_g_Space_o_f_Space_t_h_e_Space_Amp_Percent_G_e_o_p_o_l_i_t_i_c_a_l_A_r_e_a_Space_Quest_A_R_E_A_Space_Newline_w_a_s_Space_Quest_F_R_A_C_T_I_O_N_Space_o_f_Space_t_h_e_Space_g_r_o_s_s_Space_d_o_m_e_s_t_i_c_Space_p_r_o_d_u_c_t_Space_OBr_G_D_P_CBr_Space_o_f_Space_t_h_a_t_Space_a_r_e_a_Space_d_u_r_i_n_g_Space_t_h_e_Newline_Amp_Percent_T_i_m_e_I_n_t_e_r_v_a_l_Space_i_n_d_i_c_a_t_e_d_Space_b_y_Space_Quest_P_E_R_I_O_D_Period_Quot, a_Quot_OBr_Amp_Percent_m_i_l_i_t_a_r_y_E_x_p_e_n_d_i_t_u_r_e_s_F_r_a_c_t_i_o_n_O_f_G_D_P_Space_Quest_A_R_E_A_Space_Quest_F_R_A_C_T_I_O_N_CBr_Space_m_e_a_n_s_Space_Newline_t_h_a_t_Space_t_h_e_Space_e_s_t_i_m_a_t_e_d_Space_m_i_l_i_t_a_r_y_Space_s_p_e_n_d_i_n_g_Space_o_f_Space_t_h_e_Space_Amp_Percent_G_e_o_p_o_l_i_t_i_c_a_l_A_r_e_a_Space_Quest_A_R_E_A_Space_i_s_Space_Space_Newline_Quest_F_R_A_C_T_I_O_N_Space_o_f_Space_t_h_e_Space_g_r_o_s_s_Space_d_o_m_e_s_t_i_c_Space_p_r_o_d_u_c_t_Space_OBr_G_D_P_CBr_Space_o_f_Space_t_h_a_t_Space_a_r_e_a_Period_Quot, a_Quot_OBr_Amp_Percent_m_i_l_i_t_a_r_y_E_x_p_e_n_d_i_t_u_r_e_s_I_n_U_S_D_o_l_l_a_r_s_I_n_P_e_r_i_o_d_Space_Quest_A_R_E_A_Space_Quest_A_M_O_U_N_T_Space_Quest_P_E_R_I_O_D_CBr_Space_m_e_a_n_s_Space_Newline_t_h_a_t_Space_t_h_e_Space_e_s_t_i_m_a_t_e_d_Space_m_i_l_i_t_a_r_y_Space_s_p_e_n_d_i_n_g_Space_o_f_Space_t_h_e_Space_Amp_Percent_G_e_o_p_o_l_i_t_i_c_a_l_A_r_e_a_Space_Quest_A_R_E_A_Space_w_a_s_Space_Newline_Quest_A_M_O_U_N_T_Space_i_n_Space_Amp_Percent_U_n_i_t_e_d_S_t_a_t_e_s_D_o_l_l_a_r_s_Space_d_u_r_i_n_g_Space_t_h_e_Space_Amp_Percent_T_i_m_e_I_n_t_e_r_v_a_l_Space_i_n_d_i_c_a_t_e_d_Space_b_y_Space_Newline_Quest_P_E_R_I_O_D_Period_Space_Space_N_o_t_e_Colon_Space_T_h_i_s_Space_p_r_e_d_i_c_a_t_e_Space_w_a_s_Space_c_r_e_a_t_e_d_Space_t_o_Space_r_e_p_r_e_s_e_n_t_Space_d_a_t_a_Space_f_r_o_m_Space_t_h_e_Space_C_I_A_Space_Newline_W_o_r_l_d_Space_F_a_c_t_Space_B_o_o_k_Comma_Space_w_h_i_c_h_Space_c_a_l_c_u_l_a_t_e_s_Space_Quest_A_M_O_U_N_T_Space_b_y_Space_m_u_l_t_i_p_l_y_i_n_g_Space_e_s_t_i_m_a_t_e_d_Space_d_e_f_e_n_s_e_Space_Newline_s_p_e_n_d_i_n_g_Space_o_f_Space_a_n_Space_Quest_A_R_E_A_Space_i_n_Space_p_e_r_c_e_n_t_a_g_e_Space_t_e_r_m_s_Space_b_y_Space_t_h_e_Space_g_r_o_s_s_Space_d_o_m_e_s_t_i_c_Space_p_r_o_d_u_c_t_Space_OBr_G_D_P_CBr_Space_Newline_f_o_r_Space_Quest_P_E_R_I_O_D_Period_Space_Space_N_o_t_e_Space_t_h_a_t_Space_f_o_r_Space_t_h_i_s_Space_f_i_g_u_r_e_Comma_Space_G_D_P_Space_i_s_Space_c_a_l_c_u_l_a_t_e_d_Space_b_y_Space_t_h_e_Space_e_x_c_h_a_n_g_e_Space_Newline_r_a_t_e_Space_m_e_t_h_o_d_Space_r_a_t_h_e_r_Space_t_h_a_n_Space_b_y_Space_Amp_Percent_P_P_P_B_a_s_e_d_E_c_o_n_o_m_i_c_V_a_l_u_a_t_i_o_n_Period_Space_Space_I_n_Space_a_n_y_Space_c_a_s_e_Comma_Space_Newline_m_i_l_i_t_a_r_y_Space_e_x_p_e_n_d_i_t_u_r_e_s_Space_d_a_t_a_Space_s_h_o_u_l_d_Space_b_e_Space_t_r_e_a_t_e_d_Space_a_s_Space_o_n_l_y_Space_a_p_p_r_o_x_i_m_a_t_e_Period_Quot, a_Quot_OBr_Amp_Percent_m_i_l_i_t_a_r_y_E_x_p_e_n_d_i_t_u_r_e_s_I_n_U_S_D_o_l_l_a_r_s_Space_Quest_A_R_E_A_Space_Quest_A_M_O_U_N_T_CBr_Space_m_e_a_n_s_Space_t_h_a_t_Space_t_h_e_Space_Newline_e_s_t_i_m_a_t_e_d_Space_m_i_l_i_t_a_r_y_Space_s_p_e_n_d_i_n_g_Space_o_f_Space_t_h_e_Space_Amp_Percent_G_e_o_p_o_l_i_t_i_c_a_l_A_r_e_a_Space_Quest_A_R_E_A_Space_i_s_Space_Quest_A_M_O_U_N_T_Space_Newline_i_n_Space_Amp_Percent_U_n_i_t_e_d_S_t_a_t_e_s_D_o_l_l_a_r_s_Period_Space_Space_N_o_t_e_Colon_Space_T_h_i_s_Space_p_r_e_d_i_c_a_t_e_Space_w_a_s_Space_c_r_e_a_t_e_d_Space_t_o_Space_r_e_p_r_e_s_e_n_t_Space_Newline_d_a_t_a_Space_f_r_o_m_Space_t_h_e_Space_C_I_A_Space_W_o_r_l_d_Space_F_a_c_t_Space_B_o_o_k_Comma_Space_w_h_i_c_h_Space_c_a_l_c_u_l_a_t_e_s_Space_Quest_A_M_O_U_N_T_Space_b_y_Space_m_u_l_t_i_p_l_y_i_n_g_Space_e_s_t_i_m_a_t_e_d_Space_p_e_r_c_e_n_t_a_g_e_Space_o_f_Space_Quest_A_R_E_A_'_s_Space_b_u_d_g_e_t_Space_s_p_e_n_t_Space_o_n_Space_d_e_f_e_n_s_e_Space_b_y_Space_i_t_s_Space_g_r_o_s_s_Space_Newline_d_o_m_e_s_t_i_c_Space_p_r_o_d_u_c_t_Space_OBr_G_D_P_CBr_Space_e_x_p_r_e_s_s_e_d_Space_i_n_Space_U_Period_S_Period_Space_d_o_l_l_a_r_s_Period_Space_Space_N_o_t_e_Space_t_h_a_t_Space_t_h_i_s_Space_G_D_P_Space_i_s_Space_Newline_c_a_l_c_u_l_a_t_e_d_Space_b_y_Space_t_h_e_Space_e_x_c_h_a_n_g_e_Space_r_a_t_e_Space_m_e_t_h_o_d_Space_r_a_t_h_e_r_Space_t_h_a_n_Space_b_y_Space_Newline_Amp_Percent_P_P_P_B_a_s_e_d_E_c_o_n_o_m_i_c_V_a_l_u_a_t_i_o_n_Period_Space_Space_M_i_l_i_t_a_r_y_Space_e_x_p_e_n_d_i_t_u_r_e_s_Space_d_a_t_a_Space_i_s_Space_a_p_p_r_o_x_i_m_a_t_e_Period_Quot, a_Quot_O_n_e_Space_S_t_a_r_Space_G_e_n_e_r_a_l_Quot, a_Quot_T_w_o_Space_S_t_a_r_Space_G_e_n_e_r_a_l_Quot, agent, betweenOnPath, commandRankOfEchelon, fitForMilitaryService, instrument, militaryAge, militaryExpendituresFractionOfGDP, militaryExpendituresFractionOfGDPInPeriod, militaryExpendituresInUSDollars, militaryExpendituresInUSDollarsInPeriod, militaryOfArea, patient, subEchelon : U; AvailableForMilitaryServiceMaleFn, CardinalityFn, FitForMilitaryServiceMaleFn, ImmediateFutureFn, ImmediatePastFn, a_n_o_t : U -> U; KappaFn, ReachingMilitaryAgeAnnuallyMaleFn, SubtractionFn, a_a_n_d, age, attribute, desires, equal, fitForMilitaryService, greaterThan, greaterThanOrEqualTo, holdsDuring, inhabits, instance, militaryAge, militaryExpendituresFractionOfGDP, militaryExpendituresInUSDollars, or, patient, possesses, prevents : U * U -> U; a_a_n_d, distance : U * U * U -> U; a_a_n_d : U * U * U * U * U * U -> U; a_a_n_d : U * U * U * U * U * U * U -> U; a_a_n_d : U * U * U * U * U * U * U * U -> U preds age, agent, citizen, commandRankOfEchelon, desires, destination, domain, fitForMilitaryService, greaterThanOrEqualTo, holdsDuring, instance, lessThanOrEqualTo, located, member, militaryAge, militaryExpendituresFractionOfGDP, militaryOfArea, path, patient, possesses, range, subEchelon, subclass, successorAttribute : U * U; between, capability, domain, domainSubclass, holdsDuring, militaryExpendituresFractionOfGDPInPeriod, militaryExpendituresInUSDollarsInPeriod, synonymousExternalConcept : U * U * U; betweenOnPath : U * U * U * U vars vA, vAGE, vAGEMINUSONE, vAGENT, vAMOUNT, vAREA, vC, vD, vE, vF, vFD, vFRACTION, vL, vLARGER, vMC, vMILITARY, vMILITARYAGE, vMO, vMV, vOBJ1, vOBJ2, vOBJ3, vP, vP1, vP2, vPATH, vPERIOD, vPERSON, vPKU, vPROCESS, vPULLED, vSMALLER, vT, vTIME, vV, vX, vX1, vX2, vYEAR: U . subclass(MilitaryOperation, MilitaryProcess) . instance(vMO, MilitaryOperation) => exists vA: U; vP: U . agent(vMO, vA) /\ holdsDuring(ImmediatePastFn(vMO), desires(vA, vMO), instance(vP, Plan)) %{FoodDistributionOperation "Military operations conducted to distribute food to the friendly force. (from FM 100-40)"}% . subclass(FoodDistributionOperation, MilitaryOperation) . instance(vFD, FoodDistribution) => exists vF: U; vD: U . instance(vF, Food) /\ patient(vFD, vF) /\ patient(vFD, vD) /\ destination(vFD, vD) /\ holdsDuring(ImmediateFutureFn(vFD), possesses(vD, vFD)) %{SecurityOperation "Military operations conducted to protect the friendly force by providing early and accurate warning of enemy operations, to provide the force being protected with time and maneuver space within which to react to the enemy, and to develop the situation to allow the commander to effectively use the protected force. Security operations orient on the force or facility to be protected, rather than on the enemy. (from FM 100-40)."}% . subclass(SecurityOperation, MilitaryOperation) . instance(vX, SecurityOperation) /\ agent(vX, vP) /\ patient(vX, vF) => desires(vP, a_n_o_t(True when exists vE: U . not desires(vF, vE) else False)) . subclass(PeacekeepingUnit, MilitaryUnit) %{PeacekeepingUnit "A &%MilitaryUnit, the purpose of which is to prevent violent actions but providing deterrent to such actions through the threat of overwhelming retaliation."}% . instance(vPKU, PeacekeepingUnit) => capability(KappaFn(vP, a_a_n_d(instance(vP, Process), instance(vV, ViolentContest), prevents(vP, vV))), agent, vPKU) . subclass(MilitaryConvoy, Convoy) %{MilitaryConvoy "A &%Group of &%MilitaryVehicles, travelling to the same at least intermediate destination, in relatively close proximity."}% . instance(vMC, MilitaryConvoy) /\ member(vX, vMC) => instance(vX, MilitaryVehicle) . instance(vC, Convoy) /\ member(vX1, vC) /\ member(vX2, vC) /\ not vX1 = vX2 => exists vP1: U; vP2: U; vD: U . instance(vP1, Transportation) /\ instance(vP2, Transportation) /\ agent(vP1, vX1) /\ agent(vP2, vX2) /\ destination(vP1, vD) /\ destination(vP2, vD) %{MilitaryVehicle "Military platforms which are also vehicles. This would include things like airplanes and tanks, but exclude things like towed platforms."}% . subclass(MilitaryVehicle, MilitaryPlatform) %{MilitaryPlatform "Military platforms. These are usually mobile entities which can carry military equipment such as &%Weapons and communications equipment. Often, as with a tank outfitted with a gun, a &%MilitaryPlatform carrying some &%Weapon comprises a &%WeaponSystem."}% . subclass(MilitaryPlatform, MilitaryHardware) . subclass(MilitaryPlatform, TransportationDevice) %{MilitarySupportVehicle "Vehicles meant to be used for support, rather than combat in a military context."}% . subclass(MilitarySupportVehicle, MilitaryVehicle) . instance(vMV, MilitaryVehicle) => instance(vA, MilitaryForce) /\ possesses(vA, vMV) /\ capability(MilitaryProcess, patient, vMV) %{MilitarySupplyTruck "Trucks used by a military to transport supplies."}% . subclass(MilitarySupplyTruck, MilitarySupportVehicle) . subclass(MilitarySupplyTruck, Truck) %{MilitaryFoodTruck "Trucks used by a military to transport food."}% . subclass(MilitaryFoodTruck, MilitarySupportVehicle) . instance(vT, MilitaryFoodTruck) => capability(KappaFn(vP, a_a_n_d(instance(vP, Transportation), patient(vP, Food))), instrument, vT) . subclass(MilitaryRank, Position) %{MilitaryRank "A &%Position in a &%Military. Rank is usually commensurate with degrees of power, prestige and pay."}% . subclass(USMilitaryRank, MilitaryRank) %{MilitaryRank "A &%Position in the &%USMilitary."}% . instance(USMilitaryRankE1, EnlistedSoldierRank) %{USMilitaryRankE1 "A &%USMilitaryRank that is variously called Airman Basic in the Air Force, Private in the &%USArmy, Private in the &%USMarineCorps, and Seaman Recruit in the &%USNavy."}% . successorAttribute(USMilitaryRankE1, USMilitaryRankE2) . instance(USMilitaryRankE2, EnlistedSoldierRank) %{USMilitaryRankE2 "A &%USMilitaryRank that is variously called Airman in the Air Force, Private in the &%USArmy, Private First Class in the &%USMarineCorps, and Seaman Apprentice in the &%USNavy."}% . successorAttribute(USMilitaryRankE2, USMilitaryRankE3) . instance(USMilitaryRankE3, EnlistedSoldierRank) %{USMilitaryRankE3 "A &%USMilitaryRank that is variously called Airman First Class in the Air Force, Private First Class in the &%USArmy, Lance Corporal in the &%USMarineCorps, and Seaman in the &%USNavy."}% . successorAttribute(USMilitaryRankE3, USMilitaryRankE4) . instance(USMilitaryRankE4, EnlistedSoldierRank) %{USMilitaryRankE4 "A &%USMilitaryRank that is variously called Senior Airman in the Air Force, Specialist or Corporal in the &%USArmy, Corporal in the &%USMarineCorps, and Petty Officer 3rd Class in the &%USNavy."}% . successorAttribute(USMilitaryRankE4, USMilitaryRankE5) . instance(USMilitaryRankE5, EnlistedSoldierRank) %{USMilitaryRankE5 "A &%USMilitaryRank that is variously called Staff Sergeant in the Air Force, Sergeant in the &%USArmy, Sergeant in the &%USMarineCorps, and Petty Officer 2nd Class in the &%USNavy."}% . successorAttribute(USMilitaryRankE5, USMilitaryRankE6) . instance(USMilitaryRankE6, EnlistedSoldierRank) %{USMilitaryRankE6 "A &%USMilitaryRank that is variously called Technical Sergeant in the Air Force, Staff Sergeant in the &%USArmy, Staff Sergeant in the &%USMarineCorps, and Petty Officer 1st Class in the &%USNavy."}% . successorAttribute(USMilitaryRankE6, USMilitaryRankE7) . instance(USMilitaryRankE7, EnlistedSoldierRank) %{USMilitaryRankE7 "A &%USMilitaryRank that is variously called Master Sergeant in the Air Force, Sergeant First Class in the &%USArmy, Gunnery Sergeant in the &%USMarineCorps, and Chief Petty Officer in the &%USNavy."}% . successorAttribute(USMilitaryRankE7, USMilitaryRankE8) . instance(USMilitaryRankE8, EnlistedSoldierRank) %{USMilitaryRankE8 "A &%USMilitaryRank that is variously called Senior Master Sergeant in the Air Force, Master Sergeant or First Sergeant in the &%USArmy, Master Sergeant or First Sergeant in the &%USMarineCorps, and Senior Chief Petty Officer in the &%USNavy."}% . successorAttribute(USMilitaryRankE8, USMilitaryRankE9) . instance(USMilitaryRankE9, EnlistedSoldierRank) %{USMilitaryRankE9 "A &%USMilitaryRank that is variously called Chief Master Sergeant or Command Chief Master Sergeant or Chief Master Sergeant of the Air Force in the Air Force, Sergeant Major or Command Sergeant Major or Sergeant Major of the Army in the &%USArmy, Master Gunnery Sergeant or Sergeant Major or Sergeant Major of the Marine Corps in the &%USMarineCorps, and Master Chief Petty Officer or Command Master Chief Petty Officer or Master Chief Petty Officer of the Navy in the &%USNavy."}% . subclass(EnlistedSolidierRank, MilitaryRank) . subclass(CommissionedOfficerRank, MilitaryRank) %{CommissionedOfficer "In military organizations, an officer is a member of the service who holds a position of responsibility. Commissioned officers derive authority directly from a sovereign power and, as such, hold a commission charging them with the duties and responsibilities of a specific office or position. Commissioned officers are typically the only persons in a military able to exercise command (according to the most technical definition of the word) over a military unit. Non-commissioned officers in positions of authority can be said to have control or charge rather than command per se, although the use of the word command to describe any use of authority is widespread and often official. (from Wikipedia)"}% . subclass(NonCommissionedOfficerRank, EnlistedSoldierRank) %{NonCommissionedOfficer "Non-commissioned officers, or NCOs, in positions of authority can be said to have control or charge rather than command per se, although the use of the word command to describe any use of authority is widespread and often official. This is distinguished from the official responsibility for command entrusted to a &%CommissionedOfficer. NCOs are enlisted positions. (from Wikipedia)"}% . subclass(FlagOfficerRank, CommissionedOfficerRank) %{FlagOfficerRank "Admirals (Navy), Generals (Army) and Marshals who typically command units that are expected to operate independently for extended periods of time (brigades and larger, fleets of ships). (from Wikipedia)"}% . subclass(FieldGradeOfficerRank, CommissionedOfficerRank) %{FieldGradeOfficerRank "Senior officers who typically command units that can be expected to operate independently for short periods of time (battalions and regiments, large warships). Field Grade officers also commonly fill staff positions. (from Wikipedia)"}% . subclass(CompanyGradeRank, CommissionedOfficerRank) %{CompanyGradeRank "The ranks of junior officers are the three or four lowest ranks of officers, possibily complicated by the status of trainee officers. Their units are generally not expected to operate independently for any significant length of time. Typical ranks for this level are captains, who typically lead companies and smaller units Lieutenant. Company grade officers will also fill staff roles in some units. (from Wikipedia)"}% . successorAttribute(USMilitaryRankE9, USMilitaryRankO1) . instance(USMilitaryRankO1, CompanyGradeRank) . synonymousExternalConcept(a_Quot_2_n_d_Space_L_i_e_u_t_e_n_a_n_t_Quot, USMilitaryRankO1, USArmyRankingSystem) . successorAttribute(USMilitaryRankO1, USMilitaryRankO2) . instance(USMilitaryRankO2, CompanyGradeRank) . synonymousExternalConcept(a_Quot_1_s_t_Space_L_i_e_u_t_e_n_a_n_t_Quot, USMilitaryRankO2, USArmyRankingSystem) . successorAttribute(USMilitaryRankO2, USMilitaryRankO3) . instance(USMilitaryRankO3, CompanyGradeRank) . synonymousExternalConcept(a_Quot_C_a_p_t_a_i_n_Quot, USMilitaryRankO3, USArmyRankingSystem) . successorAttribute(USMilitaryRankO3, USMilitaryRankO4) . instance(USMilitaryRankO4, FieldGradeOfficerRank) . synonymousExternalConcept(a_Quot_M_a_j_o_r_Quot, USMilitaryRankO4, USArmyRankingSystem) . successorAttribute(USMilitaryRankO4, USMilitaryRankO5) . instance(USMilitaryRankO5, FieldGradeOfficerRank) . synonymousExternalConcept(a_Quot_L_i_e_u_t_e_n_a_n_t_Space_C_o_l_o_n_e_l_Quot, USMilitaryRankO5, USArmyRankingSystem) . successorAttribute(USMilitaryRankO5, USMilitaryRankO6) . instance(USMilitaryRankO6, FieldGradeOfficerRank) . synonymousExternalConcept(a_Quot_C_o_l_o_n_e_l_Quot, USMilitaryRankO6, USArmyRankingSystem) . successorAttribute(USMilitaryRankO6, USMilitaryRankO7) . instance(USMilitaryRankO7, FlagOfficerRank) . synonymousExternalConcept(a_Quot_B_r_i_g_a_d_i_e_r_Space_G_e_n_e_r_a_l_Quot, USMilitaryRankO7, USArmyRankingSystem) . synonymousExternalConcept(a_Quot_O_n_e_Space_S_t_a_r_Space_G_e_n_e_r_a_l_Quot, USMilitaryRankO7, USArmyRankingSystem) . successorAttribute(USMilitaryRankO7, USMilitaryRankO8) . instance(USMilitaryRankO8, FlagOfficerRank) . synonymousExternalConcept(a_Quot_M_a_j_o_r_Space_G_e_n_e_r_a_l_Quot, USMilitaryRankO8, USArmyRankingSystem) . synonymousExternalConcept(a_Quot_T_w_o_Space_S_t_a_r_Space_G_e_n_e_r_a_l_Quot, USMilitaryRankO8, USArmyRankingSystem) . successorAttribute(USMilitaryRankO8, USMilitaryRankO9) . instance(subEchelon, BinaryPredicate) %{subEchelon "A subEchelon is a relationship between named organizational unit types in which a unit of one type is a &%subOrganization of the other."}% . domainSubclass(subEchelon, a_1, MilitaryEchelon) . domainSubclass(subEchelon, a_2, MilitaryEchelon) . instance(commandRankOfEchelon, BinaryPredicate) %{commandRankOfEchelon "The typical &%MilitaryRank of the &%leader of an instance of the given &%MilitaryEchelon."}% . domainSubclass(commandRankOfEchelon, a_1, MilitaryEchelon) . domain(commandRankOfEchelon, a_2, MilitaryRank) %{Brigade "Brigade is a term from military science which refers to a group of several battalions (typically two to four), and directly attached supporting units (normally including at least an artillery battery and additional logistic support). A brigade is smaller than a division and roughly equal to or a little larger than a regiment. Strength typically ranges between 1,500 and 3,500 personnel. (from Wikipedia)"}% . instance(Brigade, MilitaryEchelon) . subEchelon(Brigade, Battalion) %{Battalion "n military terminology, a battalion consists of two to six companies typically commanded by a lieutenant colonel. The nomenclature varies by nationality and by branch of arms, e.g. some armies organize their infantry into battalions, but call battalion-sized cavalry, reconnaissance, or tank units a squadron or a regiment instead. There may even be subtle distinctions within a nation's branches of arms, such a distinction between a tank battalion and an armored squadron, depending on how the unit's operational role is perceived to fit into the army's historical organization. A battalion is potentially the smallest military unit capable of independent operations (i.e. not attached to a higher command), but is usually part of a regiment or a brigade or both, depending on the organizational model used by that service. Battalions are ordinarily homogeneous with respect to type (e.g. an infantry battalion or a tank battalion), although there are occasional exceptions. (from Wikipedia)"}% . instance(Battalion, MilitaryEchelon) . subEchelon(Battalion, a_C_o_m_p_a_n_y_Minus_M_i_l_i_t_a_r_y) . commandRankOfEchelon(Battalion, USMilitaryRankO5) . instance(a_C_o_m_p_a_n_y_Minus_M_i_l_i_t_a_r_y, MilitaryEchelon) . subEchelon(a_C_o_m_p_a_n_y_Minus_M_i_l_i_t_a_r_y, Platoon) %{Company-Military "A company is a military unit, typically consisting of 100-200 soldiers. Most companies are formed of three or four platoons although the exact number may vary by country, unit type and structure. (from Wikipedia)"}% . instance(Platoon, MilitaryEchelon) %{Platoon "Platoon is a term from military science. In an army, a platoon is a unit of thirty to forty soldiers typically commanded by a Lieutenant assisted by a non-commissioned officer. A platoon is formed by at least two squads (usually 3 or 4) and is smaller than a company (typically there are 3 or 4 platoons per company). Most platoons are infantry platoons; some carry other designations such as mortar or heavy weapons platoons. A platoon is the smallest military unit led by a commissioned officer. (from Wikipedia)"}% . commandRankOfEchelon(Platoon, USMilitaryRankO2) %{betweenOnPath "(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3 on the path ?PATH. Note that this is a more specialized relation of between since any object that is between others with respect to a particular path is also simply between them."}% . instance(betweenOnPath, SpatialRelation) . instance(betweenOnPath, TernaryPredicate) . domain(betweenOnPath, a_1, Object) . domain(betweenOnPath, a_2, Object) . domain(betweenOnPath, a_3, Object) . betweenOnPath(vOBJ1, vOBJ2, vOBJ3, vPATH) => between(vOBJ1, vOBJ2, vOBJ3) . instance(vP, Pulling) /\ path(vP, vPATH) /\ agent(vP, vA) /\ patient(vP, vPULLED) /\ destination(vP, vD) => holdsDuring(vP, a_a_n_d(distance(vA, vD, vSMALLER), distance(vPULLED, vD, vLARGER), greaterThan(vLARGER, vSMALLER))) . citizen(vP, vC) /\ not (exists vL: U . located(vP, vL)) => located(vP, vC) . instance(vMILITARY, MilitaryOrganization) => exists vAREA: U . instance(vAREA, GeopoliticalArea) /\ militaryOfArea(vMILITARY, vAREA) %{AirForce-BranchOfService "A modern nation-states' air forces (the whole branch of service) and not a subdivision thereof."}% . subclass(a_A_i_r_F_o_r_c_e_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, MilitaryOrganization) . synonymousExternalConcept(a_Quot_A_i_r_Space_F_o_r_c_e_Quot, a_A_i_r_F_o_r_c_e_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, EnglishLanguage) %{CoastGuard "Modern nation-states' coast guard (the whole branch of service) and not a subdivision thereof."}% . subclass(CoastGuard, MilitaryOrganization) . synonymousExternalConcept(a_Quot_C_o_a_s_t_Space_G_u_a_r_d_Quot, CoastGuard, EnglishLanguage) %{Marines-BranchOfService "Modern nation-states' marine units (the whole branch of service) and not a subdivision thereof."}% . subclass(a_M_a_r_i_n_e_s_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, MilitaryOrganization) . synonymousExternalConcept(a_Quot_M_a_r_i_n_e_Space_C_o_r_p_s_Quot, a_M_a_r_i_n_e_s_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, EnglishLanguage) %{NavalAirForce-BranchOfService "Modern nation-states' naval air forces (the whole branch of service) and not a subdivision thereof."}% . subclass(a_N_a_v_a_l_A_i_r_F_o_r_c_e_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, MilitaryOrganization) . synonymousExternalConcept(a_Quot_N_a_v_a_l_Space_A_i_r_Space_F_o_r_c_e_Quot, a_N_a_v_a_l_A_i_r_F_o_r_c_e_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, EnglishLanguage) . subclass(a_N_a_v_y_Minus_B_r_a_n_c_h_O_f_S_e_r_v_i_c_e, MilitaryOrganization) %{Navy-BranchOfService "&%MilitaryOrganizations that are sea forces."}% . instance(militaryOfArea, BinaryPredicate) . domain(militaryOfArea, a_1, MilitaryOrganization) . domain(militaryOfArea, a_2, GeopoliticalArea) %{militaryOfArea "(&%militaryOfArea ?MILITARY ?AREA) denotes that ?MILITARY is a &%MilitaryOrganization serving in defense of the &%GeopoliticalArea ?AREA."}% . instance(militaryAge, BinaryPredicate) . domain(militaryAge, GeopoliticalArea) . domain(militaryAge, TimeDuration) %{militaryAge "(&%militaryAge ?AREA ?AGE) means that in the &%GeopoliticalArea ?AREA, a person must be ?AGE or older in order to be a member of the military of the ?AREA."}% . domain(militaryAge, a_1, GeopoliticalArea) . domain(militaryAge, a_2, TimeDuration) . militaryAge(vAREA, vMILITARYAGE) /\ militaryOfArea(vMILITARY, vAREA) /\ member(vAGENT, vMILITARY) => exists vAGE: U . age(vAGENT, vAGE) /\ greaterThanOrEqualTo(vAGE, vMILITARYAGE) . militaryAge(vAREA, vMILITARYAGE) /\ militaryOfArea(vMILITARY, vAREA) /\ member(vAGENT, vMILITARY) /\ age(vAGENT, vAGE) => greaterThanOrEqualTo(vAGE, vMILITARYAGE) . instance(AvailableForMilitaryServiceMaleFn, UnaryFunction) . domain(AvailableForMilitaryServiceMaleFn, GeopoliticalArea) . range(AvailableForMilitaryServiceMaleFn, Integer) %{AvailableForMilitaryServiceMaleFn "(&%AvailableForMilitaryServiceMaleFn ?AREA) denotes the &%Integer that represents the count of the population of males of military age in the &%GeopoliticalArea ?AREA."}% . AvailableForMilitaryServiceMaleFn(vAREA) = CardinalityFn(KappaFn(vPERSON, a_a_n_d(instance(vPERSON, Human), attribute(vPERSON, Male), militaryAge(vAREA, vMILITARYAGE), age(vPERSON, vAGE), greaterThanOrEqualTo(vAGE, vMILITARYAGE), inhabits(vPERSON, vAREA)))) . instance(FitForMilitaryServiceMaleFn, UnaryFunction) . domain(FitForMilitaryServiceMaleFn, GeopoliticalArea) . range(FitForMilitaryServiceMaleFn, Integer) %{FitForMilitaryServiceMaleFn "(&%FitForMilitaryServiceMaleFn ?AREA) denotes the &%Integer that represents the count of the population of males of military age in the &%GeopoliticalArea ?AREA that is also capable of being a member of the military."}% . FitForMilitaryServiceMaleFn(vAREA) = CardinalityFn(KappaFn(vPERSON, a_a_n_d(instance(vPERSON, Human), attribute(vPERSON, Male), instance(vPROCESS, MilitaryProcess), fitForMilitaryService(vPERSON, vPROCESS), militaryAge(vAREA, vMILITARYAGE), age(vPERSON, vAGE), greaterThanOrEqualTo(vAGE, vMILITARYAGE), inhabits(vPERSON, vAREA)))) . instance(fitForMilitaryService, BinaryPredicate) . domain(fitForMilitaryService, a_1, CognitiveAgent) . domainSubclass(fitForMilitaryService, a_2, MilitaryProcess) %{fitForMilitaryService "(fitForMilitaryService ?AGENT ?PROCESS) means that ?AGENT is capable of carrying out the &%MilitaryProcess ?PROCESS as the &%agent of the ?PROCESS."}% . fitForMilitaryService(vAGENT, vPROCESS) => capability(vPROCESS, agent, vAGENT) . instance(ReachingMilitaryAgeAnnuallyMaleFn, BinaryFunction) . domain(ReachingMilitaryAgeAnnuallyMaleFn, a_1, GeopoliticalArea) . domain(ReachingMilitaryAgeAnnuallyMaleFn, a_2, Year) . range(ReachingMilitaryAgeAnnuallyMaleFn, Integer) %{ReachingMilitaryAgeAnnuallyMaleFn "(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) ?COUNT) means that in the GeopoliticalArea ?AREA, there are ?COUNT number of male individuals who for that year ?YEAR come to be of &%militaryAge."}% . ReachingMilitaryAgeAnnuallyMaleFn(vAREA, vYEAR) = CardinalityFn(KappaFn(vPERSON, a_a_n_d(instance(vPERSON, Human), attribute(vPERSON, Male), militaryAge(vAREA, vMILITARYAGE), equal(vAGEMINUSONE, SubtractionFn(vAGE, a_1)), holdsDuring(vYEAR, or(age(vPERSON, vAGEMINUSONE), age(vPERSON, vAGE))), equal(vAGE, vMILITARYAGE), inhabits(vPERSON, vAREA)))) . instance(militaryExpendituresInUSDollarsInPeriod, TernaryPredicate) . domain(militaryExpendituresInUSDollarsInPeriod, a_1, GeopoliticalArea) . domain(militaryExpendituresInUSDollarsInPeriod, a_2, CurrencyMeasure) . domain(militaryExpendituresInUSDollarsInPeriod, a_3, TimeInterval) . domain(militaryExpendituresInUSDollarsInPeriod, a_Quot_OBr_Amp_Percent_m_i_l_i_t_a_r_y_E_x_p_e_n_d_i_t_u_r_e_s_I_n_U_S_D_o_l_l_a_r_s_I_n_P_e_r_i_o_d_Space_Quest_A_R_E_A_Space_Quest_A_M_O_U_N_T_Space_Quest_P_E_R_I_O_D_CBr_Space_m_e_a_n_s_Space_Newline_t_h_a_t_Space_t_h_e_Space_e_s_t_i_m_a_t_e_d_Space_m_i_l_i_t_a_r_y_Space_s_p_e_n_d_i_n_g_Space_o_f_Space_t_h_e_Space_Amp_Percent_G_e_o_p_o_l_i_t_i_c_a_l_A_r_e_a_Space_Quest_A_R_E_A_Space_w_a_s_Space_Newline_Quest_A_M_O_U_N_T_Space_i_n_Space_Amp_Percent_U_n_i_t_e_d_S_t_a_t_e_s_D_o_l_l_a_r_s_Space_d_u_r_i_n_g_Space_t_h_e_Space_Amp_Percent_T_i_m_e_I_n_t_e_r_v_a_l_Space_i_n_d_i_c_a_t_e_d_Space_b_y_Space_Newline_Quest_P_E_R_I_O_D_Period_Space_Space_N_o_t_e_Colon_Space_T_h_i_s_Space_p_r_e_d_i_c_a_t_e_Space_w_a_s_Space_c_r_e_a_t_e_d_Space_t_o_Space_r_e_p_r_e_s_e_n_t_Space_d_a_t_a_Space_f_r_o_m_Space_t_h_e_Space_C_I_A_Space_Newline_W_o_r_l_d_Space_F_a_c_t_Space_B_o_o_k_Comma_Space_w_h_i_c_h_Space_c_a_l_c_u_l_a_t_e_s_Space_Quest_A_M_O_U_N_T_Space_b_y_Space_m_u_l_t_i_p_l_y_i_n_g_Space_e_s_t_i_m_a_t_e_d_Space_d_e_f_e_n_s_e_Space_Newline_s_p_e_n_d_i_n_g_Space_o_f_Space_a_n_Space_Quest_A_R_E_A_Space_i_n_Space_p_e_r_c_e_n_t_a_g_e_Space_t_e_r_m_s_Space_b_y_Space_t_h_e_Space_g_r_o_s_s_Space_d_o_m_e_s_t_i_c_Space_p_r_o_d_u_c_t_Space_OBr_G_D_P_CBr_Space_Newline_f_o_r_Space_Quest_P_E_R_I_O_D_Period_Space_Space_N_o_t_e_Space_t_h_a_t_Space_f_o_r_Space_t_h_i_s_Space_f_i_g_u_r_e_Comma_Space_G_D_P_Space_i_s_Space_c_a_l_c_u_l_a_t_e_d_Space_b_y_Space_t_h_e_Space_e_x_c_h_a_n_g_e_Space_Newline_r_a_t_e_Space_m_e_t_h_o_d_Space_r_a_t_h_e_r_Space_t_h_a_n_Space_b_y_Space_Amp_Percent_P_P_P_B_a_s_e_d_E_c_o_n_o_m_i_c_V_a_l_u_a_t_i_o_n_Period_Space_Space_I_n_Space_a_n_y_Space_c_a_s_e_Comma_Space_Newline_m_i_l_i_t_a_r_y_Space_e_x_p_e_n_d_i_t_u_r_e_s_Space_d_a_t_a_Space_s_h_o_u_l_d_Space_b_e_Space_t_r_e_a_t_e_d_Space_a_s_Space_o_n_l_y_Space_a_p_p_r_o_x_i_m_a_t_e_Period_Quot) . instance(militaryExpendituresInUSDollars, BinaryPredicate) . domain(militaryExpendituresInUSDollars, a_1, GeopoliticalArea) . domain(militaryExpendituresInUSDollars, a_2, CurrencyMeasure) . domain(militaryExpendituresInUSDollars, a_Quot_OBr_Amp_Percent_m_i_l_i_t_a_r_y_E_x_p_e_n_d_i_t_u_r_e_s_I_n_U_S_D_o_l_l_a_r_s_Space_Quest_A_R_E_A_Space_Quest_A_M_O_U_N_T_CBr_Space_m_e_a_n_s_Space_t_h_a_t_Space_t_h_e_Space_Newline_e_s_t_i_m_a_t_e_d_Space_m_i_l_i_t_a_r_y_Space_s_p_e_n_d_i_n_g_Space_o_f_Space_t_h_e_Space_Amp_Percent_G_e_o_p_o_l_i_t_i_c_a_l_A_r_e_a_Space_Quest_A_R_E_A_Space_i_s_Space_Quest_A_M_O_U_N_T_Space_Newline_i_n_Space_Amp_Percent_U_n_i_t_e_d_S_t_a_t_e_s_D_o_l_l_a_r_s_Period_Space_Space_N_o_t_e_Colon_Space_T_h_i_s_Space_p_r_e_d_i_c_a_t_e_Space_w_a_s_Space_c_r_e_a_t_e_d_Space_t_o_Space_r_e_p_r_e_s_e_n_t_Space_Newline_d_a_t_a_Space_f_r_o_m_Space_t_h_e_Space_C_I_A_Space_W_o_r_l_d_Space_F_a_c_t_Space_B_o_o_k_Comma_Space_w_h_i_c_h_Space_c_a_l_c_u_l_a_t_e_s_Space_Quest_A_M_O_U_N_T_Space_b_y_Space_m_u_l_t_i_p_l_y_i_n_g_Space_e_s_t_i_m_a_t_e_d_Space_p_e_r_c_e_n_t_a_g_e_Space_o_f_Space_Quest_A_R_E_A_'_s_Space_b_u_d_g_e_t_Space_s_p_e_n_t_Space_o_n_Space_d_e_f_e_n_s_e_Space_b_y_Space_i_t_s_Space_g_r_o_s_s_Space_Newline_d_o_m_e_s_t_i_c_Space_p_r_o_d_u_c_t_Space_OBr_G_D_P_CBr_Space_e_x_p_r_e_s_s_e_d_Space_i_n_Space_U_Period_S_Period_Space_d_o_l_l_a_r_s_Period_Space_Space_N_o_t_e_Space_t_h_a_t_Space_t_h_i_s_Space_G_D_P_Space_i_s_Space_Newline_c_a_l_c_u_l_a_t_e_d_Space_b_y_Space_t_h_e_Space_e_x_c_h_a_n_g_e_Space_r_a_t_e_Space_m_e_t_h_o_d_Space_r_a_t_h_e_r_Space_t_h_a_n_Space_b_y_Space_Newline_Amp_Percent_P_P_P_B_a_s_e_d_E_c_o_n_o_m_i_c_V_a_l_u_a_t_i_o_n_Period_Space_Space_M_i_l_i_t_a_r_y_Space_e_x_p_e_n_d_i_t_u_r_e_s_Space_d_a_t_a_Space_i_s_Space_a_p_p_r_o_x_i_m_a_t_e_Period_Quot) . militaryExpendituresInUSDollarsInPeriod(vAREA, vAMOUNT, vPERIOD) <=> (exists vTIME: U . instance(vTIME, vPERIOD) /\ holdsDuring(vTIME, militaryExpendituresInUSDollars(vAREA, vAMOUNT))) . instance(militaryExpendituresFractionOfGDPInPeriod, TernaryPredicate) . domain(militaryExpendituresFractionOfGDPInPeriod, a_1, GeopoliticalArea) . domain(militaryExpendituresFractionOfGDPInPeriod, a_2, RationalNumber) . domain(militaryExpendituresFractionOfGDPInPeriod, a_3, TimeInterval) . domain(militaryExpendituresFractionOfGDPInPeriod, a_Quot_OBr_Amp_Percent_m_i_l_i_t_a_r_y_E_x_p_e_n_d_i_t_u_r_e_s_F_r_a_c_t_i_o_n_O_f_G_D_P_I_n_P_e_r_i_o_d_Space_Quest_A_R_E_A_Space_Quest_F_R_A_C_T_I_O_N_Space_Quest_P_E_R_I_O_D_CBr_Space_Newline_m_e_a_n_s_Space_t_h_a_t_Space_t_h_e_Space_e_s_t_i_m_a_t_e_d_Space_m_i_l_i_t_a_r_y_Space_s_p_e_n_d_i_n_g_Space_o_f_Space_t_h_e_Space_Amp_Percent_G_e_o_p_o_l_i_t_i_c_a_l_A_r_e_a_Space_Quest_A_R_E_A_Space_Newline_w_a_s_Space_Quest_F_R_A_C_T_I_O_N_Space_o_f_Space_t_h_e_Space_g_r_o_s_s_Space_d_o_m_e_s_t_i_c_Space_p_r_o_d_u_c_t_Space_OBr_G_D_P_CBr_Space_o_f_Space_t_h_a_t_Space_a_r_e_a_Space_d_u_r_i_n_g_Space_t_h_e_Newline_Amp_Percent_T_i_m_e_I_n_t_e_r_v_a_l_Space_i_n_d_i_c_a_t_e_d_Space_b_y_Space_Quest_P_E_R_I_O_D_Period_Quot) . militaryExpendituresFractionOfGDPInPeriod(vAREA, vFRACTION, vPERIOD) => lessThanOrEqualTo(vFRACTION, a_1_Period_0) . instance(militaryExpendituresFractionOfGDP, BinaryPredicate) . domain(militaryExpendituresFractionOfGDP, a_1, GeopoliticalArea) . domain(militaryExpendituresFractionOfGDP, a_2, RationalNumber) . domain(militaryExpendituresFractionOfGDP, a_Quot_OBr_Amp_Percent_m_i_l_i_t_a_r_y_E_x_p_e_n_d_i_t_u_r_e_s_F_r_a_c_t_i_o_n_O_f_G_D_P_Space_Quest_A_R_E_A_Space_Quest_F_R_A_C_T_I_O_N_CBr_Space_m_e_a_n_s_Space_Newline_t_h_a_t_Space_t_h_e_Space_e_s_t_i_m_a_t_e_d_Space_m_i_l_i_t_a_r_y_Space_s_p_e_n_d_i_n_g_Space_o_f_Space_t_h_e_Space_Amp_Percent_G_e_o_p_o_l_i_t_i_c_a_l_A_r_e_a_Space_Quest_A_R_E_A_Space_i_s_Space_Space_Newline_Quest_F_R_A_C_T_I_O_N_Space_o_f_Space_t_h_e_Space_g_r_o_s_s_Space_d_o_m_e_s_t_i_c_Space_p_r_o_d_u_c_t_Space_OBr_G_D_P_CBr_Space_o_f_Space_t_h_a_t_Space_a_r_e_a_Period_Quot) . militaryExpendituresFractionOfGDP(vAREA, vFRACTION) => lessThanOrEqualTo(vFRACTION, a_1_Period_0) . militaryExpendituresFractionOfGDPInPeriod(vAREA, vFRACTION, vPERIOD) <=> (exists vTIME: U . instance(vTIME, vPERIOD) /\ holdsDuring(vTIME, militaryExpendituresFractionOfGDP(vAREA, vFRACTION)))