C (i,j,p | q) has a debtor i,acreditor j, i.e., respectively, ... We translate this in the CR of a dialogue game in this way: C(unset,i,j,done(i,act) | q) ...
確定! 回上一頁