in maxas/MaxAs/MaxAsGrammar.pm [93:105]
sub getP
{
my ($val, $pos) = @_;
if ($val =~ m'^P(\d|T)$' && $1 < 7)
{
$val = $1 eq 'T' ? 7 : $1;
}
else
{
die "Bad predicate name found: $val\n";
}
return $val << $pos;
}