Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confersObligation
confersObligation

appearance as argument number 1
-------------------------


s__documentation(s__confersObligation__m,s__ChineseLanguage,'这是用来表达 FormulaEntityCognitiveAgent 三者之间的一种关系,那就是 Entity 要求 CognitiveAgent 去实现 Formula 所指的。')

Merge.kif 17725-17727
s__documentation(s__confersObligation__m,s__EnglishLanguage,'Expresses the relationship between a a Formula, an Entity, and a CognitiveAgent when the Entity obligates the CognitiveAgent to bring it about that the Formula is true.')

Merge.kif 17721-17724
s__domain(s__confersObligation__m,1,s__Formula)

Merge.kif 17717-17717 The number 1 argument of confers obligation is an instance of formula
s__domain(s__confersObligation__m,2,s__Entity)

Merge.kif 17718-17718 The number 2 argument of confers obligation is an instance of entity
s__domain(s__confersObligation__m,3,s__CognitiveAgent)

Merge.kif 17719-17719 The number 3 argument of confers obligation is an instance of cognitive agent
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__confersObligation__m,s__TernaryPredicate)

Merge.kif 17716-17716 confers obligation is an instance of ternary predicate
s__relatedInternalConcept(s__confersObligation__m,s__confersRight__m)

Merge.kif 17720-17720 confers obligation is internally related to confers right

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__confersObligation__m,'%2 %n{doesnt} 要求 %3 执行 %1 的任务')

chinese_format.kif 201-201
s__format(s__EnglishLanguage,s__confersObligation__m,'%2 %n{doesnt} obligate%p{s} %3 to perform task of the type %1')

english_format.kif 127-127
s__format(s__FrenchLanguage,s__confersObligation__m,'%2 %n{n} oblige %n{pas} %3 � ex�cut� des t�ches du type %1')

french_format.kif 120-120
s__format(s__ItalianLanguage,s__confersObligation__m,'%2 obbliga %3 a compiere il compito di tipo %1')

relations-it.txt 50-50
s__format(s__PortugueseLanguage,s__confersObligation__m,'%2 %n{nao} obriga %n %3 a executar tarefas de tipo %1')

portuguese_format.kif 72-72
s__format(s__ar__m,s__confersObligation__m,'%2 %n{لا} يُجْبِر عَلَى %3 تَنْفِيذ مَهَمَّة مِن النَّوع %1')

arabic_format.kif 70-70
s__format(s__de__m,s__confersObligation__m,'%2 zwingt %3, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}')

relations-de.txt 258-258
s__format(s__hi__m,s__confersObligation__m,'%2 %3 ko %1 ke prakaara kaa kaama karane ke liye vachanavaddha karataa hai')

relations-hindi.txt 91-91
s__format(s__tg__m,s__confersObligation__m,'%2 nauubliga %3 gumawa ang gawain ng ang klase %1')

relations-cb.txt 84-84
s__termFormat(s__ChineseLanguage,s__confersObligation__m,'授予执行任务')

chinese_format.kif 202-202 "授予执行任务" is the printable form of confers obligation in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__confersObligation__m,'confers obligation')

domainEnglishFormat.kif 3185-3185 "confers obligation" is the printable form of confers obligation in english language
s__termFormat(s__ar__m,s__confersObligation__m,'«يُجْبِر عَلَى تَنْفِيذ مَهَمَّة مِن النَّوع»')

arabic_format.kif 520-520 "«يُجْبِر عَلَى تَنْفِيذ مَهَمَّة مِن النَّوع»" is the printable form of confers obligation in ar
s__termFormat(s__tg__m,s__confersObligation__m,'nakikipaghirap nauubliga')

relations-tg.txt 117-117 "nakikipaghirap nauubliga" is the printable form of confers obligation in tg

antecedent
-------------------------


( ! [V__AGR,V__DATE,V__FORMULA,V__AGENT,V__TIME] :
   ((s__agreementEffectiveDate(V__AGR,V__DATE)
     &
     s__confersObligation(V__FORMULA,V__AGR,V__AGENT)
   &
   s__instance(V__TIME,V__DATE))
=>
s__holdsDuring(s__ImmediateFutureFn(V__TIME)
,'s__holdsObligation(V__FORMULA,V__AGENT)'))
)

Government.kif 708-713
  • If ?DATE is an agreement effective date of ?AGR and ?AGR obligates ?AGENT to perform task of the type ?FORMULA and ?TIME is an instance of ?DATE,
  • then ?AGENT is obliged to perform tasks of type ?FORMULA holds during immediately after ?TIME
( ! [V__POL,V__DATE,V__FORMULA,V__AGENT,V__TIME] :
   ((s__policyEffectiveDate(V__POL,V__DATE)
     &
     s__confersObligation(V__FORMULA,V__POL,V__AGENT)
   &
   s__instance(V__TIME,V__DATE))
=>
s__holdsDuring(s__ImmediateFutureFn(V__TIME)
,'s__holdsObligation(V__FORMULA,V__AGENT)'))
)

TravelPolicies.kif 192-197
  • If ?POL is effective as of ?DATE and ?POL obligates ?AGENT to perform task of the type ?FORMULA and ?TIME is an instance of ?DATE,
  • then ?AGENT is obliged to perform tasks of type ?FORMULA holds during immediately after ?TIME
( ! [V__F,V__E,V__A] :
   (s__confersObligation(V__F,V__E,V__A)
   =>
   s__confersRight(V__F,V__E,V__A))
)

Law.kif 382-384
  • If ?E obligates ?A to perform task of the type ?F,
  • then ?E allows ?A to perform task of the type ?F
( ! [V__FORMULA,V__AGENT1,V__AGENT2] :
   (s__confersObligation(V__FORMULA,V__AGENT1,V__AGENT2)
   =>
   s__holdsObligation(V__FORMULA,V__AGENT2))
)

Merge.kif 17729-17731
  • If ?AGENT1 obligates ?AGENT2 to perform task of the type ?FORMULA,
  • then ?AGENT2 is obliged to perform tasks of type ?FORMULA

consequent
-------------------------


( ! [V__PUB,V__CONTENT,V__JORG] :
   ((s__instance(V__PUB,s__JointPublication) &
       s__containsInformation(V__PUB,V__CONTENT)
     &
     s__authors(V__JORG,V__PUB))
=>
(? [V__ORG] :
   (s__subOrganization(V__ORG,s__USMilitary) &
     s__confersObligation(V__CONTENT,V__JORG,V__ORG))))
)

MilitaryProcesses.kif 929-937
( ! [V__POLITY,V__AGENT] :
   ((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY))
   &
   s__citizen(V__AGENT,V__POLITY))
=>
s__confersObligation('(! [V__VOTINGAGE,V__AGE,V__ELECTION] : ((s__citizen(V__AGENT,V__POLITY) & s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE) & s__age(V__AGENT,V__AGE) & greatereq(V__AGE,V__VOTINGAGE) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY))) => (? [V__VOTING] : (s__instance(V__VOTING,s__VotingFn(V__ELECTION)) & s__agent(V__VOTING,V__AGENT)))))',s__RegionalLawFn(V__POLITY)
,V__AGENT))
)

Government.kif 1174-1192
( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__DiameterFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__DiameterFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__DiameterFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__StringLengthFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__StringLengthFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__StringLengthFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__GreatestCommonDivisorFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__GreatestCommonDivisorFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__GreatestCommonDivisorFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__HoleHostFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__HoleHostFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__HoleHostFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ClassOnAcademicFieldFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ClassOnAcademicFieldFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ClassOnAcademicFieldFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ClassOnLanguageFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ClassOnLanguageFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ClassOnLanguageFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__BeliefGroupMemberFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__BeliefGroupMemberFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__BeliefGroupMemberFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ResidentFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ResidentFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ResidentFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__GigaFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__GigaFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__GigaFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__FitForMilitaryServiceMaleFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__FitForMilitaryServiceMaleFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__FitForMilitaryServiceMaleFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PowerSetFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PowerSetFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PowerSetFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AvailableForMilitaryServiceMaleFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AvailableForMilitaryServiceMaleFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AvailableForMilitaryServiceMaleFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AddressFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AddressFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AddressFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__QPViewsFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__QPViewsFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__QPViewsFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__TreatedUsersFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__TreatedUsersFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__TreatedUsersFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MakingFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MakingFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MakingFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ConversionRateFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ConversionRateFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ConversionRateFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__StopFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__StopFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__StopFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ImmediatePastFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ImmediatePastFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ImmediatePastFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__BidCountFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__BidCountFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__BidCountFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__SRPEngagementFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__SRPEngagementFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__SRPEngagementFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MorningFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MorningFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MorningFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__InitialNodeFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__InitialNodeFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__InitialNodeFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CosineFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CosineFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CosineFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__DatumFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__DatumFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__DatumFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__FoodForFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__FoodForFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__FoodForFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__DescendantsFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__DescendantsFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__DescendantsFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__RegionalLawFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__RegionalLawFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__RegionalLawFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__GMVFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__GMVFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__GMVFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__IntegerSquareRootFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__IntegerSquareRootFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__IntegerSquareRootFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CitizenryFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CitizenryFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CitizenryFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__SuccessorFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__SuccessorFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__SuccessorFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PortFacilityFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PortFacilityFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PortFacilityFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__GovernmentFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__GovernmentFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__GovernmentFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PremisesFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PremisesFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PremisesFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__BeginFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__BeginFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__BeginFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__LessonOnCookingFoodFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__LessonOnCookingFoodFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__LessonOnCookingFoodFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ImmediateFutureFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ImmediateFutureFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ImmediateFutureFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__GPSFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__GPSFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__GPSFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ElevationLowPointFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ElevationLowPointFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ElevationLowPointFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__FloorFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__FloorFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__FloorFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__QualifyingPurchasesFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__QualifyingPurchasesFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__QualifyingPurchasesFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__JuiceOfFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__JuiceOfFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__JuiceOfFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__RadiusFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__RadiusFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__RadiusFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PlayingInstrumentFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PlayingInstrumentFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PlayingInstrumentFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__SineFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__SineFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__SineFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MaritimeExclusiveEconomicZoneFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MaritimeExclusiveEconomicZoneFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MaritimeExclusiveEconomicZoneFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PerDiemFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PerDiemFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PerDiemFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MusicalComponentFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MusicalComponentFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MusicalComponentFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ExtendedFishingZoneFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ExtendedFishingZoneFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ExtendedFishingZoneFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__LessonOnInstrumentFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__LessonOnInstrumentFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__LessonOnInstrumentFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__FlowFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__FlowFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__FlowFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CurrencyFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CurrencyFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CurrencyFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ABPFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ABPFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ABPFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__LegislatureFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__LegislatureFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__LegislatureFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__QualifyingEventsFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__QualifyingEventsFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__QualifyingEventsFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__BoughtItemsFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__BoughtItemsFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__BoughtItemsFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__TripFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__TripFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__TripFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__FutureFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__FutureFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__FutureFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MagnitudeFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MagnitudeFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MagnitudeFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ElectionFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ElectionFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ElectionFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__contraryAttribute__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__contraryAttribute__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__contraryAttribute__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__NumeratorFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__NumeratorFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__NumeratorFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AbsoluteValueFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AbsoluteValueFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AbsoluteValueFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ReceivingAnObjectFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ReceivingAnObjectFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ReceivingAnObjectFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__RoundFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__RoundFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__RoundFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ComplementFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ComplementFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ComplementFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ImmediateFamilyFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ImmediateFamilyFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ImmediateFamilyFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CoveringFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CoveringFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CoveringFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__GeographicCenterFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__GeographicCenterFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__GeographicCenterFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__SignumFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__SignumFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__SignumFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MegaFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MegaFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MegaFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__OuterBoundaryFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__OuterBoundaryFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__OuterBoundaryFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ASPFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ASPFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ASPFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__SquareUnitFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__SquareUnitFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__SquareUnitFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__JudiciaryFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__JudiciaryFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__JudiciaryFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__RationalNumberFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__RationalNumberFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__RationalNumberFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__GeneralizedIntersectionFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__GeneralizedIntersectionFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__GeneralizedIntersectionFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CeilingFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CeilingFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CeilingFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__OperatingFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__OperatingFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__OperatingFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__FrontFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__FrontFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__FrontFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MerchantMarineFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MerchantMarineFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MerchantMarineFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PressingKeyFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PressingKeyFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PressingKeyFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ExclusiveFishingZoneFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ExclusiveFishingZoneFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ExclusiveFishingZoneFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__StartFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__StartFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__StartFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ElevationHighPointFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ElevationHighPointFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ElevationHighPointFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PredecessorFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PredecessorFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PredecessorFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ImaginaryPartFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ImaginaryPartFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ImaginaryPartFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AgentOfOrganismFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AgentOfOrganismFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AgentOfOrganismFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PPSFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PPSFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PPSFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ShipBerthingFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ShipBerthingFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ShipBerthingFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__GMBFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__GMBFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__GMBFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AfternoonFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AfternoonFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AfternoonFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MaritimeShelfAreaFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MaritimeShelfAreaFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MaritimeShelfAreaFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__EndFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__EndFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__EndFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__BackFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__BackFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__BackFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PropertyFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PropertyFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PropertyFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ListLengthFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ListLengthFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ListLengthFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PastFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PastFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PastFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MinimalCutSetFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MinimalCutSetFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MinimalCutSetFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__HoleSkinFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__HoleSkinFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__HoleSkinFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__SquareRootFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__SquareRootFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__SquareRootFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MilliFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MilliFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MilliFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__BeginNodeFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__BeginNodeFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__BeginNodeFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__YearFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__YearFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__YearFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__DenominatorFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__DenominatorFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__DenominatorFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__LyricalComponentFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__LyricalComponentFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__LyricalComponentFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CabinetFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CabinetFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CabinetFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ListFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ListFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ListFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ShortageFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ShortageFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ShortageFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AccountOfServiceFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AccountOfServiceFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AccountOfServiceFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__EveningFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__EveningFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__EveningFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__LeastCommonMultipleFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__LeastCommonMultipleFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__LeastCommonMultipleFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PopulationFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PopulationFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PopulationFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ShipCrewFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ShipCrewFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ShipCrewFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__TransitFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__TransitFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__TransitFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__DeadFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__DeadFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__DeadFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MaritimeContiguousZoneFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MaritimeContiguousZoneFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MaritimeContiguousZoneFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AuctionGMBFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AuctionGMBFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AuctionGMBFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CardinalityFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CardinalityFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CardinalityFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PerimeterAreaFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PerimeterAreaFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PerimeterAreaFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__TangentFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__TangentFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__TangentFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ExecutiveBranchFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ExecutiveBranchFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ExecutiveBranchFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MicroFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MicroFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MicroFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__QualifiedTreatmentsFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__QualifiedTreatmentsFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__QualifiedTreatmentsFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__SiteSpeedFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__SiteSpeedFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__SiteSpeedFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AccountFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AccountFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AccountFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__SupremeCourtFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__SupremeCourtFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__SupremeCourtFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__InitialProfileFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__InitialProfileFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__InitialProfileFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__NationalAnthemFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__NationalAnthemFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__NationalAnthemFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__StartupFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__StartupFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__StartupFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MemberFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MemberFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MemberFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__InnerBoundaryFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__InnerBoundaryFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__InnerBoundaryFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__WhenFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__WhenFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__WhenFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__TeraFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__TeraFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__TeraFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ClassOnSportFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ClassOnSportFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ClassOnSportFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ReciprocalFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ReciprocalFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ReciprocalFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__VotingFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__VotingFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__VotingFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__WealthFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__WealthFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__WealthFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__DemonymFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__DemonymFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__DemonymFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__TerminalNodeFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__TerminalNodeFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__TerminalNodeFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__DocumentFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__DocumentFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__DocumentFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__GeneralizedUnionFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__GeneralizedUnionFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__GeneralizedUnionFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__FlowRegionFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__FlowRegionFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__FlowRegionFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__TourOnAreaFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__TourOnAreaFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__TourOnAreaFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MaritimeClaimsTerritorialSeaFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MaritimeClaimsTerritorialSeaFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MaritimeClaimsTerritorialSeaFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CenterOfCircleFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CenterOfCircleFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CenterOfCircleFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ConstitutionFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ConstitutionFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ConstitutionFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__OccupationFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__OccupationFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__OccupationFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AgricultureFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AgricultureFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AgricultureFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__MaleToFemaleRatioFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__MaleToFemaleRatioFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__MaleToFemaleRatioFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CutSetFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CutSetFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CutSetFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ExtensionFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ExtensionFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ExtensionFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__TransportationFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__TransportationFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__TransportationFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__UnitFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__UnitFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__UnitFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__AgreementOrganizationFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__AgreementOrganizationFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__AgreementOrganizationFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__KiloFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__KiloFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__KiloFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PathWeightFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PathWeightFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PathWeightFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__PicoFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__PicoFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__PicoFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__RealNumberFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__RealNumberFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__RealNumberFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__TerritorialSeaFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__TerritorialSeaFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__TerritorialSeaFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ProbabilityFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ProbabilityFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ProbabilityFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__LastFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__LastFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__LastFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ShutdownFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ShutdownFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ShutdownFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__FirstFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__FirstFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__FirstFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__NanoFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__NanoFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__NanoFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__OverseasAreaFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__OverseasAreaFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__OverseasAreaFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__ShipRegisterFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__ShipRegisterFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__ShipRegisterFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__FiscalYearFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__FiscalYearFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__FiscalYearFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__EndNodeFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__EndNodeFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__EndNodeFn__m,V__CONTRACTOR))))
)

( ! [V__BUILDING,V__CONTRACTOR] :
   (s__contractor(V__BUILDING,V__CONTRACTOR)
   =>
   (? [V__CONTRACT,s__CPUUtilizationFn__m] :
     (s__property(V__CONTRACT,s__Contract) &
       s__partyToAgreement(s__CPUUtilizationFn__m,V__CONTRACT)
     &
     s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
   &
   s__confersObligation('(? [V__CONSTRUCT,V__BUILDING2] : (s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONSTRUCT,V__BUILDING2) & s__instance(V__BUILDING2,s__StationaryArtifact)))',s__CPUUtilizationFn__m,V__CONTRACTOR))))
)

Mid-level-ontology.kif 18056-18069
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27626-27646
( ! [V__AGENT1,V__AGENT2] :
   (s__legalRelation(V__AGENT1,V__AGENT2)
   =>
   (? [V__DECLARE,V__OBLIGATION] :
     (s__instance(V__DECLARE,s__Declaring) &
       s__confersObligation(V__OBLIGATION,V__DECLARE,V__AGENT1)
     &
     s__confersObligation(V__OBLIGATION,V__DECLARE,V__AGENT2))))
)

Merge.kif 16629-16635
  • If there is a legal relation between ?AGENT1 and ?AGENT2,
  • then there exist ?DECLARE and ?OBLIGATION such that ?DECLARE is an instance of declaring and ?DECLARE obligates ?AGENT1 to perform task of the type ?OBLIGATION and ?DECLARE obligates ?AGENT2 to perform task of the type ?OBLIGATION
( ! [V__POLITY] :
   (s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY))
=>
s__confersObligation('(! [V__AGENT,V__VOTINGAGE,V__AGE,V__ELECTION] : ((s__citizen(V__AGENT,V__POLITY) & s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE) & s__age(V__AGENT,V__AGE) & greatereq(V__AGE,V__VOTINGAGE) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY))) => (? [V__VOTING] : (s__instance(V__VOTING,s__VotingFn(V__ELECTION)) & s__agent(V__VOTING,V__AGENT)))))',s__RegionalLawFn(V__POLITY)
,V__POLITY))
)

Government.kif 1156-1172


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners