ActionDescription<T extends CausalLaw> 
This class represents an action description as a set of causal laws.

CActionDescription 
This class represents an action description for the action language C as a
set of causal rules, and provides some basic functionality such as grounding.

CLaw 
The action description language C consists of two distinct expressions:
static laws and dynamic laws.

DynamicLaw 
A dynamic law in C has the form "caused F if G after U" where F is a
propositional formula over the set of fluent names (called headFormula) G is
a propositional formula over the set of fluent names (called ifFormula) U is
a propositional formula over the set of fluent names and the set of action
names (called afterFormula)

StaticLaw 
This class represents a static rule in C, which has the following form:
"caused H if G" where H is a propositional formula over the set of fluents and
G is a propositional formula over the set of fluents and the set of actions
