wife.asl

+do(husband,insult(husband,wife)) <-
    do(wife,recoilFrom(wife,husband)).

// /var/lib/myfrdcsa/codebases/minor/strads-frdcsa/attempts/9/security/security_rules.pl