when creating instance rules, use true unification to determine how to pass arguments to the rule body in favor of assuming they appear in a certain order
when creating instance rules, use true unification to determine how to pass arguments to the rule body in favor of assuming they appear in a certain order
hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc