(documentationagentEnglishLanguage "(agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the Process ?PROCESS, with or without voluntary intention. For example, Eve is an agent in the following proposition: Eve bit an apple.")
Fuer alle ?AGENT, ?VOTER,, , ?ELECTION, and und ?VOTING
wenn ?ELECTION ist ein fall von ElectionFn ?AGENT %n{nicht} und ?VOTING ist ein fall von VotingFn ?ELECTION %n{nicht} und ?VOTING ist der agent von ?VOTER %n{nicht},
Fuer alle ?COUNTRY, ?ELECTION,, , ?VOTING, and und ?VOTER
wenn ?COUNTRY ist ein fall von Nation %n{nicht} und ?ELECTION ist ein fall von ElectionFn ?COUNTRY %n{nicht} und ?VOTING ist ein fall von VotingFn ?ELECTION %n{nicht} und ?VOTING ist der agent von ?VOTER %n{nicht},