displaying {HEAD ~ data} corresponding to {TAIL ~ a solution} of the formula: 
displaying { HEAD ~ data } corresponding to { TAIL ~ a solution } of the formula :
OTH HEAD HEAD HEAD HEAD HEAD REL REL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH