For instance, the semantic index s in the tree for runs is unified during substitution with the semantic indices labelling the root nodes of the tree for John.
the semantics of John often runs is (3) {name(j,john),run(r,j),often(r)} SEMFRAG describes a core fragment of French and contains around 6 000 elementary trees.