Q: How many structurally distinct A-objects does the following cd define?

A = "a" X C [D].
X = B.
B : E | F.
C = .
D = "d" .
E = "e".
F = G H.
G =.
H = "h".

(from:
http://www.ccs.neu.edu/research/demeter/course/f97/hw/3/assign.html)

A: Since the cd is acyclic and uses no terminal classes
   the number of objects is finite. 
   For the x-part we have 2 possibilities and independently, for the d-part,
   we have two possibilities. Therefore there are 4
   structurally distinct A-objects.