| pAnnounce | Task.MagicTrick.Recognizer |
| pAnyExpr | Recognize.Parsing.Derived |
| pAnyOf | Recognize.Parsing.Derived |
| pAnywhere | Recognize.Parsing.Derived |
| parenthesisMismatch | Recognize.Data.Diagnosis |
| parentIds | Bayes.Network |
| parents | Bayes.Network |
| Parse | Recognize.Parsing.Parse |
| parseColumns | Recognize.Parsing.MathLexer |
| parseConsequence | Domain.Logic.Parser |
| ParseLog | Recognize.Parsing.Parse |
| parseLogic | Domain.Logic.Parser |
| parseLogicPars | Domain.Logic.Parser |
| parseLogicProof | Domain.Logic.Parser |
| parseLogicProofs | Domain.Logic.Parser |
| parseLogicUnicodePars | Domain.Logic.Parser |
| parseMath | Recognize.Parsing.MathParser |
| Parser | Recognize.Parsing.Parser |
| parser | Recognize.Data.MathStoryProblem |
| parserOutput | Recognize.Data.DiagnoseResult |
| ParserT | Recognize.Parsing.Parser |
| parseSimple | Recognize.Parsing.MathLexer |
| parseSimple' | Recognize.Parsing.MathParser |
| parseStatement | Domain.Logic.Parser |
| PartialMatch | Recognize.Data.Attribute |
| pAttempts | Task.MagicTrick.Recognizer |
| pAttempts1 | Task.MagicTrick.Recognizer |
| pattern | Task.Pattern.Recognizer |
| payload | Recognize.Data.Diagnosis |
| pBuggyStep | Task.MagicTrick.Recognizer |
| pCompare | Recognize.SubExpr.Compare |
| pCompareByNormalize | Recognize.SubExpr.Compare |
| pCompareBySimplify | Recognize.SubExpr.Compare |
| pConclude | Task.MagicTrick.Recognizer |
| pDiagnosis | Task.MagicTrick.Recognizer |
| peek | Recognize.Parsing.Derived |
| peek2 | Recognize.Parsing.Derived |
| peekEq | Recognize.Parsing.Derived |
| peekExpr | Recognize.Parsing.Derived |
| pEq | Recognize.Parsing.Derived |
| pEqCom | Recognize.Parsing.Derived |
| pEqWith | Task.MagicTrick.Recognizer |
| pEqWith2 | Task.MagicTrick.Recognizer |
| pEqWithL | Task.MagicTrick.Recognizer |
| perc | Main.Diagnose |
| percentage | |
| 1 (Function) | Util.String |
| 2 (Function) | Util.Table |
| percPar | Main.Diagnose |
| Perimeter | Recognize.Data.Attribute |
| pExercise | Recognize.Strategy.Recognizer |
| pExplicitSimplifyEq | Task.MagicTrick.Recognizer |
| pExplicitSimplifyExpr | Task.MagicTrick.Recognizer |
| pExpr | Recognize.Parsing.Derived |
| pExprCom | Recognize.Parsing.Derived |
| pExprWith | Recognize.Parsing.Derived |
| pFixEqCom | Task.MagicTrick.Recognizer |
| pFixExprCom | Task.MagicTrick.Recognizer |
| pFoldAlt | Recognize.Parsing.Derived |
| pIf | Task.MagicTrick.Recognizer |
| PilotID | Database.Data |
| pInOrder | Recognize.Parsing.Derived |
| pInOrderAll | Recognize.Parsing.Derived |
| pivot | Domain.LinearAlgebra.Matrix |
| plainNatView | Domain.Math.Power.Utils, Domain.Math.Power.Views |
| plainRationalView | Domain.Math.Power.Utils, Domain.Math.Power.Views |
| pLog | Recognize.Parsing.Parse |
| plus | Domain.Math.Data.MultivariatePolynomial |
| plusNegateLeft | Domain.Math.Numeric.Rules |
| plusNegateRight | Domain.Math.Numeric.Rules |
| plusRule | Domain.Math.Equation.BalanceRules |
| pMagicExpr | Task.MagicTrick.Recognizer |
| pMatchEq | Task.MagicTrick.Recognizer |
| pMatchExpr | Task.MagicTrick.Recognizer |
| pMatchSubSteps | Recognize.SubExpr.Recognizer |
| pNamedStep | Recognize.Parsing.Interpretation |
| pNextStepBuggyPars | Task.MagicTrick.Recognizer |
| Point | Bayes.SVG |
| pointX | Bayes.SVG |
| pointY | Bayes.SVG |
| polynomialDegreeGen | Domain.Math.Polynomial.Generators |
| polynomialGen | Domain.Math.Polynomial.Generators |
| polyNormalForm | Domain.Math.Polynomial.Views |
| polyRelaxedForm | Domain.Math.Polynomial.Views |
| polyView | Domain.Math.Polynomial.Views |
| polyViewWith | Domain.Math.Polynomial.Views |
| Power | Recognize.Data.RuleId |
| power2root | Domain.Math.Power.Rules |
| powerFactorView | |
| 1 (Function) | Domain.Math.Power.OldViews |
| 2 (Function) | Domain.Math.Power.Views |
| powerFactorViewForWith | Domain.Math.Power.OldViews |
| powerFactorViewWith | Domain.Math.Power.OldViews |
| powerOne | Domain.Math.Power.Rules |
| powerProductView | Domain.Math.Polynomial.LeastCommonMultiple |
| powerView | Domain.Math.Power.Views |
| powerViewFor | Domain.Math.Power.Views |
| powerViewWith | Domain.Math.Power.Views |
| powerZero | Domain.Math.Power.Rules |
| ppExpr | Recognize.Data.Math |
| ppLogicPars | Domain.Logic.Parser |
| ppLogicUnicodePars | Domain.Logic.Parser |
| precision | |
| 1 (Function) | Domain.Math.Approximation |
| 2 (Function) | Recognize.SubExpr.SEParser |
| predicateCombined | Domain.Math.Equation.CoverUpRules |
| predicateCovered | Domain.Math.Equation.CoverUpRules |
| prepareSplitSquare | Domain.Math.Polynomial.Rules |
| pRepeat | Recognize.Parsing.Derived |
| pReplicate | Recognize.Parsing.Derived |
| preProcess | Recognize.Preprocessing |
| prettyMap | Util.Pretty |
| prettyMatches | Database.HumanAssessment |
| pRewrite | Recognize.Parsing.Derived |
| printCache | Util.Cache |
| printMath | Recognize.Data.Math |
| Prior | |
| 1 (Type/Class) | Database.Priors |
| 2 (Data Constructor) | Database.Priors |
| Priors | |
| 1 (Type/Class) | Database.Priors |
| 2 (Data Constructor) | Database.Priors |
| Probabilities | Bayes.Evidence |
| probabilitiesFor | Bayes.Evidence |
| Probability | Bayes.Probability |
| probHigh | Task.MagicTrick.Recognizer |
| problemId | Recognize.Data.MathStoryProblem |
| probLow | Task.MagicTrick.Recognizer |
| probMediumLow | Task.MagicTrick.Recognizer |
| processInputs | Recognize.Data.MathStoryProblem |
| Product | Domain.Math.Data.MultivariatePolynomial |
| propositionalId | Domain.Logic.Utils |
| pruneNetwork | Bayes.Inference |
| pSkipUntil | Recognize.Parsing.Derived |
| pSolveLinear | Recognize.Strategy.Applications |
| pSomewhere | Recognize.Parsing.Derived |
| pStdDiagnosis | Task.MagicTrick.Recognizer |
| pStep | |
| 1 (Function) | Recognize.Parsing.Interpretation |
| 2 (Function) | Task.MagicTrick.Recognizer |
| pStepEq | Recognize.Parsing.Interpretation |
| pStepEquation | Task.MagicTrick.Recognizer |
| pStepErr | Task.MagicTrick.Recognizer |
| pStepError | Task.MagicTrick.Recognizer |
| pStepExpr | Task.MagicTrick.Recognizer |
| pStepForget | Task.MagicTrick.Recognizer |
| pStepIneq | Recognize.Parsing.Interpretation |
| pStepOperators | Task.MagicTrick.Recognizer |
| pStepsFor | Task.MagicTrick.Recognizer |
| pStepSimplify | Task.MagicTrick.Recognizer |
| pStepsPhase1 | Task.MagicTrick.Recognizer |
| pStepsPhase2 | Task.MagicTrick.Recognizer |
| pStepsPhase3 | Task.MagicTrick.Recognizer |
| pStepsPhase4 | Task.MagicTrick.Recognizer |
| pStepStrongIneq' | Recognize.Parsing.Interpretation |
| pSubstituteVars | Recognize.SubExpr.Compare |
| pt | Bayes.SVG |
| pTask | Task.MagicTrick.Recognizer |
| pTaskErr | Task.MagicTrick.Recognizer |
| pTaskForget | Task.MagicTrick.Recognizer |
| pTaskSimplify | Task.MagicTrick.Recognizer |
| pushNegOut | Domain.Math.Power.Rules |
| pushNot | Domain.Logic.Views |
| pushNotWith | Domain.Logic.Views |
| put | Recognize.SubExpr.SEParser |
| putAttributes | Recognize.Model.EvidenceBuilder |
| putVariables | Recognize.Model.EvidenceBuilder |
| pVars | Task.MagicTrick.Recognizer |