the predicates are: A tax payer is a party in An event, An event of transferring An asset from A tax payer to A recipient at A time occurs. the rules are: A Taxpayer is a party in An Event if The Event of transferring An Asset from The Taxpayer to A Recipients at A Time occurs.