Sophie
module importm22. import importm3. type p o. type w o. type s o. type r o. local r. p :- w. s :- r.