The initial state of semantic tree growth is specified by the AXIOM, which sets out an initial node to be subsequently developed.
secondly, "a" is constructed so that it reflects the predicates in the whole proposition.