Atomic Process
Output:
Input:
Effect:
Y
?
Preconditions:
N
Output:
Effect:
