Predicate: proof

Roleset id: proof.01 , establish the truth, vncls: 29.4

Roles:

        Arg0: prover
        Arg1: proposition
        Arg2: beneficiary, proved-to

Example: autogen1

        proof of PASOK complicity

        Arg0-REF : proof
        Rel : proof
        Arg1 : of PASOK complicity

Example: autogen2

        Brown had no proof

        Arg0 : Brown
        ArgSupport : had
        ArgM-NEG : no
        Rel : proof