forked from GitHub/gf-rgl
10 lines
154 B
Plaintext
10 lines
154 B
Plaintext
abstract ExtraPnbAbs = Extra ** {
|
|
|
|
-- uncontracted negations; contracted are the default
|
|
fun
|
|
|
|
each_Det : Det ;
|
|
have_V : V;
|
|
cost_V : V;
|
|
}
|