terjva
lujvo
noralujv
Fri Mar 14 23:30:27 2003
x1 is a has rule with prescribed by rule x2 with rule x3.
0
Examples