logic Hybridize

spec Geography = 
        baselogic Hybridize

        Basic_Spec {
                baselogic Propositional
                Basic_Spec { props p}
                nominals Portugal, England, Canada
                modalities Car
                @Portugal <Car> England
        }
        nominals Europe, America
        modalities Plane
        America => { not (Portugal \/ England)};
        Europe => {not Canada};
        @Europe <Plane> ( America /\ {Canada}) 
end