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==>