wysh example - Simple Will generator

Author: Andrew Mowbray and Graham Greenleaf

This is a demonstration of rule-based inferencing using the ysh inferencing engine and the wysh interface to ysh. It has been written for demonstration purposes for LAWS 4619 - Developing Computer Applications to Law (B) at the University of New South Wales Faculty of Law. This project must not be relied upon or used for the purpose of legal advice.
Further information and examples can be found in the wysh index.

Run consultations using the Simple Will generator knowledgebase

Simple Will generator knowledgebase

DATE the date of execution of the Will
DATE the date of the old Will
INTEGER the maximum number of months within which the wedding must take place
PERSON the person making the Will
PERSONTHING the sole beneficiary
PERSON the sole executor
PERSON the testator/testatrix's fiancee
PERSON the joint beneficiaries

GOAL DOCUMENT Last Will & Testament PROVIDES
IF the person making the Will is legally capable of making a Will THEN BEGIN
        CALL Disclaimer
        CALL Preamble
        CALL Revocation
        CALL Contemplation of Marriage
        CALL Sole Beneficiary
        CALL Attestation END
ELSE the person making the Will should not make a Will

RULE Capability PROVIDES 
the person making the Will is not legally capable of making a Will ONLY IF the person making the Will is not of sound mind 
OR s6 of the Wills, Probate and Administration Act 1898 applies OR the person making the Will is subject to some other form of incapacity 

DOCUMENT Disclaimer PROVIDES
PARAGRAPH Disclaimer: This is not a real Will and must not be used as such. 
This will does not purport to accurately represent the law of any jurisdictions.

DOCUMENT Preamble PROVIDES
PARAGRAPH This will dated <the date of execution of the Will> is
made by me <the person making the Will>, of
<the testator/testatrix's address>, <the testator/testatrix's occupation>.

DOCUMENT Revocation PROVIDES
IF all former testatmentary disposition are to be revoked THEN
        NUMBERED PARAGRAPH I revoke all former testatmentary dispositions.
ELSE
        NUMBERED PARAGRAPH I revoke all former testamentary dispositions
        except clause(s) <list of clauses from the old will which are to be
        saved> of my testamentary disposition dated <the date of the old Will>
        which clause(s) I hereby confirm.

DOCUMENT Contemplation of Marriage PROVIDES
IF this Will is to be made in contemplation of marriage THEN
        IF the Will is to be conditional on the marriage actually
        taking place THEN
                IF the person making the Will is domiciled in Western Australia AND
                the person making the Will does not own immovables in other States
                THEN
                        NUMBERED PARAGRAPH This will is made in
                        contemplation of my marriage with
                        <the testator/testatrix's fiancee>.
                ELSE
                        NUMBERED PARAGRAPH This will is made in
                        contemplation of my marriage with
                        <the testator/testatrix's fiancee>
                        and is conditional on the marriage taking place
                        within <the maximum number of months within which the wedding must take place> months.
        ELSE IF the testator/testatrix is domiciled in Western Australia THEN
                NUMBERED PARAGRAPH This will is made in contemplation of my
                marriage with <the testator/testatrix's fiancee>
                but shall not be void if the marriage does not take place.
        ELSE
                NUMBERED PARAGRAPH This will is made in contemplation of my
                marriage with <the testator/testatrix's fiancee>
                but is not conditional on the marriage taking place.

DOCUMENT Sole Beneficiary PROVIDES
IF everything disposed of under the Will is to be left one person THEN BEGIN
              IF the sole beneficiary is over 18 THEN
              NUMBERED PARAGRAPH I give the whole of my estate to <the sole beneficiary>  
whom  I appoint my sole executor. ELSE BEGIN
              NUMBERED PARAGRAPH I give the whole of my estate to <the sole beneficiary> 
              NUMBERED PARAGRAPH I appoint the <the sole executor> as my sole executor. END
END ELSE BEGIN NUMBERED PARAGRAPH I give the whole of my estate in equal shares to <the joint beneficiaries> 
     NUMBERED PARAGRAPH I appoint the <the sole executor> as my sole executor. END

DOCUMENT Attestation PROVIDES
PARAGRAPH Signed by the testator in our presence and attested by us in the presence 
him and each other.

Andrew Mowbray wrote the ysh inference engine (1991-94). Geoffrey King wrote the wysh web interface to ysh (1996 - ), and Simon Cant is developing it further (1997-) (further details on the wysh pages). AustLII's research on legal inferencing via the web is funded by the Australian Research Council.

Graham Greeenleaf; amended 21/5/97