mapAll
|
Data.SOP.Dict
|
mapAll2
|
Data.SOP.Dict
|
mapII
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapIII
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapIIK
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapIK
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapIKI
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapIKK
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapKI
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapKII
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapKIK
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapKK
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapKKI
|
Data.SOP.BasicFunctors
,
Data.SOP
|
mapKKK
|
Data.SOP.BasicFunctors
,
Data.SOP
|
map_NP
|
Data.SOP.NP
|
map_NS
|
Data.SOP.NS
|
map_POP
|
Data.SOP.NP
|
map_SOP
|
Data.SOP.NS
|