There exists an inference element E such that it is not the case that A explicitly or implicitly intends x to be such that if A1 has P, then A1 will both 1'. I count as presupposed by the analysis five explicit or implicit propositional intendings, and ten propositional believings or desirings. They need not involve utterances, and thus circularity need not be involved. But some propositions are so abstract, surely we could not intend or believe them in the absence of language.
All beliefs appear to be actual as opposed to dispositional, and similarly for any desires.