module appendixA/tree

pred isTree [r:univ->univ] {
	// You have to fill in the appropriate formula here
}

run isTree for 4