If we let Maude use more than one step we should see a different result: search in PERSON : person (single, 1) =>+ person (married, 2) .
Αν επιτραπεί στο Maude να χρησιμοποιήσει παραπάνω από ένα βήμα, προκύπτει διαφορετικό αποτέλεσμα: search in PERSON : person (single, 1) =>+ person (married, 2) .