Как и в следующем коде, есть ли способ создать макросы для выражений NP + NF2 + NF1 + NT + NR
и AnonActive + Aactive + AsetTurn + Astart + Acrit + Acheck + APF2 + APF1 + ATP + ATR + AF2R + AF1R
, чтобы я мог ссылаться на них позже по имени, а не писать выражения напрямую?
sig NP{}
sig NF2{}
sig NF1{}
sig NT{}
sig NR{}
sig AnonActive{src:one NP, trg:one NP}
sig Aactive{src:one NP, trg:one NP}
sig AsetTurn{src:one NP, trg:one NP}
sig Astart{src:one NP, trg:one NP}
sig Acrit{src:one NP, trg:one NP}
sig Acheck{src:one NP, trg:one NP}
sig APF2{src:one NP, trg:one NF2}
sig APF1{src:one NP, trg:one NF1}
sig ATP{src:one NT, trg:one NP}
sig ATR{src:one NT, trg:one NR}
sig AF2R{src:one NF2, trg:one NR}
sig AF1R{src:one NF1, trg:one NR}
sig Graph{nodes:set NP+NF2+NF1+NT+NR,
arrows:set AnonActive + Aactive + AsetTurn + Astart
+ Acrit + Acheck + APF2 + APF1 + ATP + ATR
+ AF2R + AF1R}