Utgang: Ja

Del 1: Oppgave
Bruk: Oppgaven er å avgjøre om andre setning er medført av første setning.

Del 2: medføring
Bruk: Enailment betyr at sannheten i første setning garanterer sannheten i andre setning. I dette tilfellet innebærer den første setningen «region planlegger invasjon av beliggenhet» at regionen kommer til å gå inn på stedet.

Del 3: Svar
Bruk: Svaret skal være «ja» hvis andre setning er medført av første setning, og «nei» ellers. I dette tilfellet er den andre setningen «region går inn i sted» medført av første setning, så svaret er «ja».
Gitt en definisjon av en oppgave og et eksempel input, del definisjonen i små deler.
Hver av disse delene vil ha noen instruksjoner. Forklar betydningen ved å vise et eksempel som oppfyller kriteriene i instruksjonen. Bruk følgende format:
Del # : en sentral del av definisjonen.
Bruk: Eksempelsvar som oppfyller kriteriene fra nøkkeldelen. Forklar hvorfor du mener den oppfyller kriteriene. Gitt oppgavedefinisjonen og inngangen, svar med utdata. I denne oppgaven vil du få to setninger setning1 og setning2. Du bør bestemme om den andre setningen er medført (avtalt) ved første setning. Hvis det innebærer, svar «ja», ellers svar «nei».

setning1: region planlegger invasjon av stedssetning1: regionen går inn i stedet 
