We investigate the problems of precondition interactions and effect cumulations, typically caused by the concurrent execution of actions. Our analysis leads to an integration of property oriented and resource oriented approaches to the representation of action and change. We formalize our ideas by introducing an extension A ORC of the Action Description Language A C [2]. In order to enable sound and complete automated inference, we give a corresponding encoding in terms of the Fluent calculus [10].