Method on SAME-P specialized to THE-AST.