Consistency of Input: Domain Definition and Initial and Goal States

Consistency of Domain Definition

Rules of thumb:
1. Every action type should use an actuator

Consistency of Initial State
1. Every attribute and actuator should have a present initial state