What should be the domain and range declaration of the property :isSubTaskOf?

"AtomicTask" and "CompositeTask" are two disjoint subclasses of "Task." This means that an "AtomicTask" represents a unique, non-decomposable task, while a CompositeTask, on the other hand, represents a task that can be decomposed into a sequence of tasks. This implies that ""CompositeTask"" should be the domain and range declaration of the property ":isSubTaskOf", instead of "Task" itself.