\documentclass{amsart}
    \advance\textheight by 1.75in
    \advance\textwidth by 2in
    \advance\topmargin by -1in
    \advance\oddsidemargin by -1in
    \advance\evensidemargin by -1in
    \usepackage{amssymb}
    \parindent0pt
    \begin{document}
    \textbf{AGT026+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,y,n_{100})\qquad\mbox{fof}(\mbox{query}_{26},\mbox{conjecture})$

\medskip\textbf{AGT019+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,y,n_{24})\qquad\mbox{fof}(\mbox{query}_{19},\mbox{conjecture})$

\medskip\textbf{AGT008+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_team}(\mbox{countryamedicalorganization},\mbox{countryafirstaidorganization},\mbox{sunsetpoint},n_6)\qquad\mbox{fof}(\mbox{query}_8,\mbox{conjecture})$

\medskip\textbf{AGT010+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_population}(\mbox{countryamedicalorganization},\mbox{native},n_{85})\qquad\mbox{fof}(\mbox{query}_{10},\mbox{conjecture})$

\medskip\textbf{AGT016+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(\mbox{muslimcountrybhumanitarianorganization},x,y)\qquad\mbox{fof}(\mbox{query}_{16},\mbox{conjecture})$

\medskip\textbf{AGT024+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_population}(x,\mbox{christian},n_{25})\qquad\mbox{fof}(\mbox{query}_{24},\mbox{conjecture})$

\medskip\textbf{AGT015+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_city}(x,y)\qquad\mbox{fof}(\mbox{query}_{15},\mbox{conjecture})$

\medskip\textbf{AGT024+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_population}(x,\mbox{christian},n_{25})\qquad\mbox{fof}(\mbox{query}_{24},\mbox{conjecture})$

\medskip\textbf{AGT007+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{countrybcivilorganization},\mbox{countrybhumanitarianorganization},\mbox{townb},n_3)\qquad\mbox{fof}(\mbox{query}_7,\mbox{conjecture})$

\medskip\textbf{AGT025+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,y,n_{25})\qquad\mbox{fof}(\mbox{query}_{25},\mbox{conjecture})$

\medskip\textbf{AGT020+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,\mbox{christian},y)\qquad\mbox{fof}(\mbox{query}_{20},\mbox{conjecture})$

\medskip\textbf{AGT020+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,\mbox{christian},y)\qquad\mbox{fof}(\mbox{query}_{20},\mbox{conjecture})$

\medskip\textbf{AGT007+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{countrybcivilorganization},\mbox{countrybhumanitarianorganization},\mbox{townb},n_3)\qquad\mbox{fof}(\mbox{query}_7,\mbox{conjecture})$

\medskip\textbf{AGT011+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_population}(\mbox{countryamedicalorganization},\mbox{native},n_{100})\qquad\mbox{fof}(\mbox{query}_{11},\mbox{conjecture})$

\medskip\textbf{AGT017+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_city}(\mbox{muslimcountrybhumanitarianorganization},x)\qquad\mbox{fof}(\mbox{query}_{17},\mbox{conjecture})$

\medskip\textbf{AGT001+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{countryamedicalorganization},\mbox{countryacivilorganization},\mbox{towna},n_6)\qquad\mbox{fof}(\mbox{query}_1,\mbox{conjecture})$

\medskip\textbf{AGT013+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_population}(\mbox{muslimcountrybhumanitarianorganization},\mbox{christian},n_{25})\qquad\mbox{fof}(\mbox{query}_{13},\mbox{conjecture})$

\medskip\textbf{AGT014+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y,z{:}\;\neg\,\mbox{accept\_population}(x,y,z)\qquad\mbox{fof}(\mbox{query}_{14},\mbox{conjecture})$

\medskip\textbf{AGT013+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_population}(\mbox{muslimcountrybhumanitarianorganization},\mbox{christian},n_{25})\qquad\mbox{fof}(\mbox{query}_{13},\mbox{conjecture})$

\medskip\textbf{AGT003+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{christiansufferterrahumanitarianorganization},\mbox{countryafirstaidorganization},\mbox{towna},n_5)\qquad\mbox{fof}(\mbox{query}_3,\mbox{conjecture})$

\medskip\textbf{AGT018+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_population}(x,\mbox{christian},n_{24})\qquad\mbox{fof}(\mbox{query}_{18},\mbox{conjecture})$

\medskip\textbf{AGT010+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_population}(\mbox{countryamedicalorganization},\mbox{native},n_{85})\qquad\mbox{fof}(\mbox{query}_{10},\mbox{conjecture})$

\medskip\textbf{AGT012+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_population}(\mbox{muslimcountrybhumanitarianorganization},\mbox{christian},n_{24})\qquad\mbox{fof}(\mbox{query}_{12},\mbox{conjecture})$

\medskip\textbf{AGT012+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_population}(\mbox{muslimcountrybhumanitarianorganization},\mbox{christian},n_{24})\qquad\mbox{fof}(\mbox{query}_{12},\mbox{conjecture})$

\medskip\textbf{AGT019+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,y,n_{24})\qquad\mbox{fof}(\mbox{query}_{19},\mbox{conjecture})$

\medskip\textbf{AGT026+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,y,n_{100})\qquad\mbox{fof}(\mbox{query}_{26},\mbox{conjecture})$

\medskip\textbf{AGT016+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(\mbox{muslimcountrybhumanitarianorganization},x,y)\qquad\mbox{fof}(\mbox{query}_{16},\mbox{conjecture})$

\medskip\textbf{AGT002+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_team}(\mbox{christiansufferterrahumanitarianorganization},\mbox{sufferterragovernment},\mbox{towna},n_6)\qquad\mbox{fof}(\mbox{query}_2,\mbox{conjecture})$

\medskip\textbf{AGT002+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_team}(\mbox{christiansufferterrahumanitarianorganization},\mbox{sufferterragovernment},\mbox{towna},n_6)\qquad\mbox{fof}(\mbox{query}_2,\mbox{conjecture})$

\medskip\textbf{AGT023+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_city}(x,\mbox{citya})\qquad\mbox{fof}(\mbox{query}_{23},\mbox{conjecture})$

\medskip\textbf{AGT006+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{countrybcivilorganization},\mbox{countrybhumanitarianorganization},\mbox{suffertown},n_4)\qquad\mbox{fof}(\mbox{query}_6,\mbox{conjecture})$

\medskip\textbf{AGT027$\wedge$1.p} Two different degrees of belief






$\mbox{include}(\mbox{'Axioms/LCL013\string^0.ax'})$

$a_1{:}\;\mbox{\$i}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(a_1,\mbox{type})$

$a_2{:}\;\mbox{\$i}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(a_2,\mbox{type})$

$a{:}\;\mbox{mu}\qquad\mbox{thf}(a,\mbox{type})$

$\mbox{tom}{:}\;\mbox{mu}\qquad\mbox{thf}(\mbox{tom},\mbox{type})$

$p{:}\;\mbox{mu}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(p,\mbox{type})$

$q{:}\;\mbox{mu}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(q,\mbox{type})$

$r{:}\;\mbox{mu}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(r,\mbox{type})$

$s{:}\;\mbox{mu}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(s,\mbox{type})$

$\mbox{mvalid}@ ( \mbox{mforall\_ind}@ \lambda x{:}\;\mbox{mu}{:}\;( \mbox{mbox}@ a_2@ ( \mbox{mimplies}@ ( \mbox{mdia}@ a_2@ ( q@ x ) )@ ( p@ x ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_ind}@ \lambda x{:}\;\mbox{mu}{:}\;( \mbox{mbox}@ a_1@ ( \mbox{mimplies}@ ( \mbox{mand}@ ( r@ x )@ ( s@ x ) )@ ( q@ x ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_a}_2,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_ind}@ \lambda x{:}\;\mbox{mu}{:}\;( \mbox{mbox}@ a_1@ ( \mbox{mimplies}@ ( s@ x )@ ( \mbox{mbox}@ a_1@ ( r@ x ) ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_a}_3,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mdia}@ a_1@ ( s@ a ) )\qquad\mbox{thf}(\mbox{axiom\_a}_4,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_1@ \mbox{phi} )@ ( \mbox{mnot}@ ( \mbox{mbox}@ a_1@ ( \mbox{mnot}@ \mbox{phi} ) ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_D\_for\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_2@ \mbox{phi} )@ ( \mbox{mnot}@ ( \mbox{mbox}@ a_2@ ( \mbox{mnot}@ \mbox{phi} ) ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_D\_for\_a}_2,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_2@ \mbox{phi} )@ ( \mbox{mbox}@ a_1@ \mbox{phi} ) ) )\qquad\mbox{thf}(\mbox{axiom\_I\_for\_a2\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_1@ \mbox{phi} )@ ( \mbox{mbox}@ a_1@ ( \mbox{mbox}@ a_1@ \mbox{phi} ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_4s\_for\_a1\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_1@ \mbox{phi} )@ ( \mbox{mbox}@ a_2@ ( \mbox{mbox}@ a_1@ \mbox{phi} ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_4s\_for\_a1\_a}_2,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_2@ \mbox{phi} )@ ( \mbox{mbox}@ a_1@ ( \mbox{mbox}@ a_2@ \mbox{phi} ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_4s\_for\_a2\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_2@ \mbox{phi} )@ ( \mbox{mbox}@ a_2@ ( \mbox{mbox}@ a_2@ \mbox{phi} ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_4s\_for\_a2\_a}_2,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mnot}@ ( \mbox{mbox}@ a_1@ \mbox{phi} ) )@ ( \mbox{mbox}@ a_1@ ( \mbox{mnot}@ ( \mbox{mbox}@ a_1@ \mbox{phi} ) ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_5\_for\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mnot}@ ( \mbox{mbox}@ a_2@ \mbox{phi} ) )@ ( \mbox{mbox}@ a_2@ ( \mbox{mnot}@ ( \mbox{mbox}@ a_2@ \mbox{phi} ) ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_5\_for\_a}_2,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mexists\_ind}@ \lambda x{:}\;\mbox{mu}{:}\;( \mbox{mbox}@ a_1@ ( p@ x ) ) )\qquad\mbox{thf}(\mbox{conj},\mbox{conjecture})$

\medskip\textbf{AGT014+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y,z{:}\;\neg\,\mbox{accept\_population}(x,y,z)\qquad\mbox{fof}(\mbox{query}_{14},\mbox{conjecture})$

\medskip\textbf{AGT003+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{christiansufferterrahumanitarianorganization},\mbox{countryafirstaidorganization},\mbox{towna},n_5)\qquad\mbox{fof}(\mbox{query}_3,\mbox{conjecture})$

\medskip\textbf{AGT017+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_city}(\mbox{muslimcountrybhumanitarianorganization},x)\qquad\mbox{fof}(\mbox{query}_{17},\mbox{conjecture})$

\medskip\textbf{AGT025+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,y,n_{25})\qquad\mbox{fof}(\mbox{query}_{25},\mbox{conjecture})$

\medskip\textbf{AGT023+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_city}(x,\mbox{citya})\qquad\mbox{fof}(\mbox{query}_{23},\mbox{conjecture})$

\medskip\textbf{AGT001+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{countryamedicalorganization},\mbox{countryacivilorganization},\mbox{towna},n_6)\qquad\mbox{fof}(\mbox{query}_1,\mbox{conjecture})$

\medskip\textbf{AGT005+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{christiansufferterrahumanitarianorganization},\mbox{countryafirstaidorganization},\mbox{towna},n_3)\qquad\mbox{fof}(\mbox{query}_5,\mbox{conjecture})$

\medskip\textbf{AGT004+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_team}(\mbox{countryamedicalorganization},\mbox{countryahumanitarianorganization},\mbox{coastvillage},n_5)\qquad\mbox{fof}(\mbox{query}_4,\mbox{conjecture})$

\medskip\textbf{AGT022+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,\mbox{native},y)\qquad\mbox{fof}(\mbox{query}_{22},\mbox{conjecture})$

\medskip\textbf{AGT009+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_team}(\mbox{muslimcountrybhumanitarianorganization},\mbox{countrybhumanitarianorganization},\mbox{citya},n_2)\qquad\mbox{fof}(\mbox{query}_9,\mbox{conjecture})$

\medskip\textbf{AGT008+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_team}(\mbox{countryamedicalorganization},\mbox{countryafirstaidorganization},\mbox{sunsetpoint},n_6)\qquad\mbox{fof}(\mbox{query}_8,\mbox{conjecture})$

\medskip\textbf{AGT027$\wedge$2.p} Two different degrees of belief






$\mbox{include}(\mbox{'Axioms/LCL013\string^0.ax'})$

$a_1{:}\;\mbox{\$i}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(a_1,\mbox{type})$

$a_2{:}\;\mbox{\$i}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(a_2,\mbox{type})$

$a{:}\;\mbox{mu}\qquad\mbox{thf}(a,\mbox{type})$

$\mbox{tom}{:}\;\mbox{mu}\qquad\mbox{thf}(\mbox{tom},\mbox{type})$

$p{:}\;\mbox{mu}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(p,\mbox{type})$

$q{:}\;\mbox{mu}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(q,\mbox{type})$

$r{:}\;\mbox{mu}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(r,\mbox{type})$

$s{:}\;\mbox{mu}\to \mbox{\$i}\to \mbox{\$o}\qquad\mbox{thf}(s,\mbox{type})$

$\mbox{mvalid}@ ( \mbox{mforall\_ind}@ \lambda x{:}\;\mbox{mu}{:}\;( \mbox{mbox}@ a_2@ ( \mbox{mimplies}@ ( \mbox{mdia}@ a_2@ ( q@ x ) )@ ( p@ x ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_ind}@ \lambda x{:}\;\mbox{mu}{:}\;( \mbox{mbox}@ a_1@ ( \mbox{mimplies}@ ( \mbox{mand}@ ( r@ x )@ ( s@ x ) )@ ( q@ x ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_a}_2,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_ind}@ \lambda x{:}\;\mbox{mu}{:}\;( \mbox{mbox}@ a_1@ ( \mbox{mimplies}@ ( s@ x )@ ( \mbox{mbox}@ a_1@ ( r@ x ) ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_a}_3,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mdia}@ a_1@ ( s@ a ) )\qquad\mbox{thf}(\mbox{axiom\_a}_4,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_2@ \mbox{phi} )@ ( \mbox{mbox}@ a_1@ \mbox{phi} ) ) )\qquad\mbox{thf}(\mbox{axiom\_I\_for\_a2\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_1@ \mbox{phi} )@ ( \mbox{mbox}@ a_1@ ( \mbox{mbox}@ a_1@ \mbox{phi} ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_4s\_for\_a1\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_1@ \mbox{phi} )@ ( \mbox{mbox}@ a_2@ ( \mbox{mbox}@ a_1@ \mbox{phi} ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_4s\_for\_a1\_a}_2,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_2@ \mbox{phi} )@ ( \mbox{mbox}@ a_1@ ( \mbox{mbox}@ a_2@ \mbox{phi} ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_4s\_for\_a2\_a}_1,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mforall\_prop}@ \lambda \mbox{phi}{:}\;\mbox{\$i}\to \mbox{\$o}{:}\;( \mbox{mimplies}@ ( \mbox{mbox}@ a_2@ \mbox{phi} )@ ( \mbox{mbox}@ a_2@ ( \mbox{mbox}@ a_2@ \mbox{phi} ) ) ) )\qquad\mbox{thf}(\mbox{axiom\_4s\_for\_a2\_a}_2,\mbox{axiom})$

$\mbox{mvalid}@ ( \mbox{mexists\_ind}@ \lambda x{:}\;\mbox{mu}{:}\;( \mbox{mbox}@ a_1@ ( p@ x ) ) )\qquad\mbox{thf}(\mbox{conj},\mbox{conjecture})$

\medskip\textbf{AGT009+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_team}(\mbox{muslimcountrybhumanitarianorganization},\mbox{countrybhumanitarianorganization},\mbox{citya},n_2)\qquad\mbox{fof}(\mbox{query}_9,\mbox{conjecture})$

\medskip\textbf{AGT021+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_city}(x,\mbox{sunsetpoint})\qquad\mbox{fof}(\mbox{query}_{21},\mbox{conjecture})$

\medskip\textbf{AGT021+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_city}(x,\mbox{sunsetpoint})\qquad\mbox{fof}(\mbox{query}_{21},\mbox{conjecture})$

\medskip\textbf{AGT018+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x{:}\;\neg\,\mbox{accept\_population}(x,\mbox{christian},n_{24})\qquad\mbox{fof}(\mbox{query}_{18},\mbox{conjecture})$

\medskip\textbf{AGT022+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_population}(x,\mbox{native},y)\qquad\mbox{fof}(\mbox{query}_{22},\mbox{conjecture})$

\medskip\textbf{AGT004+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_team}(\mbox{countryamedicalorganization},\mbox{countryahumanitarianorganization},\mbox{coastvillage},n_5)\qquad\mbox{fof}(\mbox{query}_4,\mbox{conjecture})$

\medskip\textbf{AGT011+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\neg\,\mbox{accept\_population}(\mbox{countryamedicalorganization},\mbox{native},n_{100})\qquad\mbox{fof}(\mbox{query}_{11},\mbox{conjecture})$

\medskip\textbf{AGT015+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\exists x,y{:}\;\neg\,\mbox{accept\_city}(x,y)\qquad\mbox{fof}(\mbox{query}_{15},\mbox{conjecture})$

\medskip\textbf{AGT042+1.p} Axioms for CPlanT






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

\medskip\textbf{AGT006+2.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+2.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{countrybcivilorganization},\mbox{countrybhumanitarianorganization},\mbox{suffertown},n_4)\qquad\mbox{fof}(\mbox{query}_6,\mbox{conjecture})$

\medskip\textbf{AGT005+1.p} Problem for the CPlanT system






$\mbox{include}(\mbox{'Axioms/AGT001+0.ax'})$

$\mbox{include}(\mbox{'Axioms/AGT001+1.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+0.ax'})$

$\mbox{include}(\mbox{'Axioms/NUM005+1.ax'})$

$\mbox{accept\_team}(\mbox{christiansufferterrahumanitarianorganization},\mbox{countryafirstaidorganization},\mbox{towna},n_3)\qquad\mbox{fof}(\mbox{query}_5,\mbox{conjecture})$

\medskip
\end{document}