• If ?PUB is an instance of joint publication and ?PUB contains information ?CONTENT and ?JORG is the author of ?PUB,
• then there exists ?ORG such that ?ORG is a part of the organization US military and ?JORG obligates ?ORG to perform task of the type ?CONTENT

• If compulsory suffrage law is a sub-proposition of the regional law of ?POLITY and ?AGENT is a citizen of ?POLITY,
• then the regional law of ?POLITY obligates ?AGENT to perform task of the type for all ?VOTINGAGE, ?AGE and ?ELECTION
  • if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?AGENT is an agent of ?VOTING

( ! [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))))
)

• If ?CONTRACTOR has a contract to build ?BUILDING,
• then there exist ?CONTRACT and ?AGENT such that ?CONTRACT has an attribute contract and ?CONTRACT is a party to agreement of ?AGENT and ?CONTRACT is a party to agreement of ?CONTRACTOR and ?AGENT obligates ?CONTRACTOR to perform task of the type there exist ?CONSTRUCT and ?BUILDING2 such that ?CONSTRUCT is an instance of constructing and ?CONTRACTOR is an agent of ?CONSTRUCT and ?BUILDING2 is a result of ?CONSTRUCT and ?BUILDING2 is an instance of stationary artifact

• If ?PO is an instance of PurchaseOrder,
• then there exist ?NUMBER, ?BUYER and ?SELLER such that the unique identifier of ?NUMBER is ?PO and ?BUYER buys ?ENT from ?SELLER and ?BUYER obligates ?SELLER to perform task of the type there exists ?BUYING such that the beginning of the time of existence of ?PO happens before the beginning of the time of existence of ?BUYING and ?BUYING is an instance of buying and ?PRODUCT is an instance of product and the object transferred in ?BUYING is ?PRODUCT and ?PO includes a reference to ?PRODUCT and ?BUYER is an agent of ?BUYING and ?SELLER is a patient of ?BUYING

• 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

• If compulsory suffrage law is a sub-proposition of the regional law of ?POLITY,
• then the regional law of ?POLITY obligates ?POLITY to perform task of the type for all ?AGENT, ?VOTINGAGE,, , ?AGE and ?ELECTION
  • if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?AGENT is an agent of ?VOTING