1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'includes/SaaSPatterns/sorts.e').
    4
    5% sort rule,subject,object,action,ruleeffect,policy,policyset
    6==> sort(rule).
    7==> sort(subject).
    8==> sort(object).
    9==> sort(action).
   10==> sort(ruleeffect).
   11==> sort(policy).
   12==>