(j3.2006) PRESENT in specification expressions

[Robert Corbett]

The inquiry function PRESENT appears not to violate the conditions required of a 
specification expression.  However, the intrinsic inquiry ALLOCATED and the 
single argument form of ASSOCIATED also appear not to violate those conditions.  
The function PRESENT acts more like an assumed property than like a deferred 
property in that it have the same result throughout the execution of the 
subprogram.  The same is not true of ALLOCATED.  The same is also not true of 
ASSOCIATED, except in the case where the argument to ASSOCIATED has INTENT(IN).

Robert Corbett