UFO.UFO-C
Class Change

UFO.UFO-C.Change

public class Change

A resource participation of r in a is a change iff there is at least a moment m such that ((m inheres in r in s1 and m does not inhere in r in s2) OR (m does not inhere in r in s1 and m inheres in r in s2)) and (there is at least one action contribution ac that is also part of a and such that s2 satisfies the propositional content of ac);