Y17(john);
Y17(x):-M(x)/-M(x);
A(x):M(x)/M(x);
A(x):E(x)/E(x);
E(x):A(x)/A(x);
$