A Web-Based Tool for Analysing Normative Documents in English

Our goal is to use formal methods to analyse normative documents written in English, such as privacy policies and service-level agreements. This requires the combination of a number of different elements, including information extraction from natural language, formal languages for model representation, and an interface for property specification and verification. We have worked on a collection of components for this task: a natural language extraction tool, a suitable formalism for representing such documents, an interface for building models in this formalism, and methods for answering queries asked of a given model. In this work, each of these concerns is brought together in a web-based tool, providing a single interface for analysing normative texts in English. Through the use of a running example, we describe each component and demonstrate the workflow established by our tool

Lexical Derivation of the PINT Taxonomy of Goals: Prominence, Inclusiveness, Negativity Prevention, and Tradition

What do people want? Few questions are more fundamental to psychological science than this. Yet, existing taxonomies disagree on both the number and content of goals. We thus adopted a lexical approach and investigated the structure of goal-relevant words from the natural English lexicon. Through an intensive rating process, 1,060 goal-relevant English words were first located. In Studies 1-2, two relatively large and diverse samples (total n = 1,026) rated their commitment to approaching or avoiding these goals. Principal component analyses yielded 4 replicable components: Prominence, Inclusiveness, Negativity prevention, and Tradition (the PINT Taxonomy). Study 3-7 (total n = 1,396) supported the 4-factor structure of an abbreviated scale and found systematic differences in their relationships with past goal-content measures, the Big 5 traits, affect, and need satisfaction. This investigation thus provides a data-driven taxonomy of higher-order goal-content and opens up a wide variety of fascinating lines for future research

Megasequence architecture of Taranaki, Wanganui, and King Country basins and Neogene progradation of two continental margin wedges across western New Zealand.

Taranaki, Wanganui and King Country basins (formerly North Wanganui Basin) have been regarded as discrete basins, but they contain a very similar Neogene sedimentary succession and much of their geological history is held in common. Analysis of the stratigraphic architecture of the fill of each basin reveals the occurrence of four 2nd order megasequences of tectonic origin. The oldest is the early-early Miocene (Otaian Stage) Mahoenui Group/megasequence, followed by the late-early Miocene (Altonian Stage) Mokau Group/megasequence (King Country Basin), both of which correspond to the lower part of the Manganui Formation in Taranaki Basin. The third is the middle to late Miocene Whangamomona Group/megasequence, and the fourth is the latest Miocene-Pleistocene Rangitikei Supergroup/megasequence, both represented in the three basins. Higher order sequences (4th, 5th, 6th), having a eustatic origin, are evident in the Whangamomona and Rangitikei megasequences, particularly those of 5th order with 41 ka periodicity. The distribution of the megasequences are shown in a series of cross-section panels built-up from well -to-well correlations, complemented by time-stratigraphic cross-sections. The base of each megasequence is marked by marine flooding and represents a discrete phase in basin development. For the first megasequence this corresponded to rapid subsidence of the King Country Basin in a compressional setting and basement overthrusting on the Taranaki Fault, with the rapid introduction of terrigenous sediment during transgression. The Mahoenui megasequence accumulated mostly at bathyal depths; no regressive deposits are evident, having been eroded during subsequent uplift. The second (Mokau) megasequence accumulated during reverse movement on the Ohura Fault, formation of the Tarata Thrust Zone, and onlap of the basement block between the Taranaki Fault and the Patea-Tongaporutu-Herangi High (PTH). The Whangamomona megasequence accumulated during extensive reflooding of King Country Basin, onlap of the PTH High and of basement in the Wanganui Basin. This is an assymetrical sequence with a thin transgressive part (Otunui Formation) and a thick regressive part (Mount Messenger to Matemateaonga Formations). It represents the northward progradation of a continental margin wedge with bottom-set, slope-set and top-set components through Wanganui and King Country basins, with minor progradation over the PTH High and into Taranaki Basin. The Rangitikei megasequence is marked by extensive flooding at its base (Tangahoe Mudstone) and reflects the pull-down of the main Wanganui Basin depocentre. This megasequence comprises a second progradational margin wedge, which migrated on two fronts, one northward through Wanganui Basin and into King Country Basin, and a second west of the PTH High, through the Toru Trough and into the Central and Northern Grabens of Taranaki Basin and on to the Western Platform as the Giant Foresets Formation, thereby building up the modern shelf and slope. Fifth and 6th order sequences are well expressed in the shelf deposits (top-sets) of the upper parts of the Whangamomona and Rangitikei megasequences. They typically have a distinctive sequence architecture comprising shellbed (TST), siltstone (HST) and sandstone (RST) beds. Manutahi-1, which was continuously cored, provides calibration of this sequence architecture to wireline log character, thereby enabling shelf deposits to be mapped widely in the subsurface via the wireline data for hydrocarbon exploration holes. Similar characterization of slope-sets and bottom-sets is work ongoing. The higher order (eustatic) sequences profoundly influenced the local reservoir architecture and seal properties of formations, whereas the megasequence progradation has been responsible for the regional hydrocarbon maturation and migration. Major late tilting, uplift and erosion affected all three basins and created a regional high along the eastern Margin of Taranaki Basin, thereby influencing the migration paths of hydrocarbons sourced deeper in the basin and allowing late charge of structural and possibly stratigraphic traps

Megasequence architecture of Taranaki, Wanganui, and King Country basins and Neogene progradation of two continental margin wedges across western New Zealand.

Taranaki, Wanganui and King Country basins (formerly North Wanganui Basin) have been regarded as discrete basins, but they contain a very similar Neogene sedimentary succession and much of their geological history is held in common. Analysis of the stratigraphic architecture of the fill of each basin reveals the occurrence of four 2nd order megasequences of tectonic origin. The oldest is the early-early Miocene (Otaian Stage) Mahoenui Group/megasequence, followed by the late-early Miocene (Altonian Stage) Mokau Group/megasequence (King Country Basin), both of which correspond to the lower part of the Manganui Formation in Taranaki Basin. The third is the middle to late Miocene Whangamomona Group/megasequence, and the fourth is the latest Miocene-Pleistocene Rangitikei Supergroup/megasequence, both represented in the three basins. Higher order sequences (4th, 5th, 6th), having a eustatic origin, are evident in the Whangamomona and Rangitikei megasequences, particularly those of 5th order with 41 ka periodicity. The distribution of the megasequences are shown in a series of cross-section panels built-up from well -to-well correlations, complemented by time-stratigraphic cross-sections. The base of each megasequence is marked by marine flooding and represents a discrete phase in basin development. For the first megasequence this corresponded to rapid subsidence of the King Country Basin in a compressional setting and basement overthrusting on the Taranaki Fault, with the rapid introduction of terrigenous sediment during transgression. The Mahoenui megasequence accumulated mostly at bathyal depths; no regressive deposits are evident, having been eroded during subsequent uplift. The second (Mokau) megasequence accumulated during reverse movement on the Ohura Fault, formation of the Tarata Thrust Zone, and onlap of the basement block between the Taranaki Fault and the Patea-Tongaporutu-Herangi High (PTH). The Whangamomona megasequence accumulated during extensive reflooding of King Country Basin, onlap of the PTH High and of basement in the Wanganui Basin. This is an assymetrical sequence with a thin transgressive part (Otunui Formation) and a thick regressive part (Mount Messenger to Matemateaonga Formations). It represents the northward progradation of a continental margin wedge with bottom-set, slope-set and top-set components through Wanganui and King Country basins, with minor progradation over the PTH High and into Taranaki Basin. The Rangitikei megasequence is marked by extensive flooding at its base (Tangahoe Mudstone) and reflects the pull-down of the main Wanganui Basin depocentre. This megasequence comprises a second progradational margin wedge, which migrated on two fronts, one northward through Wanganui Basin and into King Country Basin, and a second west of the PTH High, through the Toru Trough and into the Central and Northern Grabens of Taranaki Basin and on to the Western Platform as the Giant Foresets Formation, thereby building up the modern shelf and slope. Fifth and 6th order sequences are well expressed in the shelf deposits (top-sets) of the upper parts of the Whangamomona and Rangitikei megasequences. They typically have a distinctive sequence architecture comprising shellbed (TST), siltstone (HST) and sandstone (RST) beds. Manutahi-1, which was continuously cored, provides calibration of this sequence architecture to wireline log character, thereby enabling shelf deposits to be mapped widely in the subsurface via the wireline data for hydrocarbon exploration holes. Similar characterization of slope-sets and bottom-sets is work ongoing. The higher order (eustatic) sequences profoundly influenced the local reservoir architecture and seal properties of formations, whereas the megasequence progradation has been responsible for the regional hydrocarbon maturation and migration. Major late tilting, uplift and erosion affected all three basins and created a regional high along the eastern Margin of Taranaki Basin, thereby influencing the migration paths of hydrocarbons sourced deeper in the basin and allowing late charge of structural and possibly stratigraphic traps

Comparability of online out-of-pocket tools from Australian private health funds

Privately insured patients face highly variable out-of-pocket (OOP) costs for inpatient admissions. Three of Australia’s largest private health insurance (PHI) funds have therefore developed online OOP cost estimator tools for various procedur

Neogene stratigraphic architecture and tectonic evolution of Wanganui, King Country, and eastern Taranaki Basins, New Zealand

Analysis of the stratigraphic architecture of the fills of Wanganui, King Country, and eastern Taranaki Basins reveals the occurrence of five 2nd order Late Paleocene and Neogene sequences of tectonic origin. The oldest is the late Eocene-Oligocene Te Kuiti Sequence, followed by the early-early Miocene (Otaian) Mahoenui Sequence, followed by the late-early Miocene (Altonian) Mokau Sequence, all three in King Country Basin. The fourth is the middle Miocene to early Pliocene Whangamomona Sequence, and the fifth is the middle Pliocene-Pleistocene Rangitikei Sequence, both represented in the three basins. Higher order sequences (4th, 5th, 6th) with a eustatic origin occur particularly within the Whangamomona and Rangitikei Sequences, particularly those of 6th order with 41 000 yr periodicity

Otosyphilis: A rare cause of acute bilateral sensorineural hearing loss in a HIV-negative patient

Bilateral acute hearing loss is rare, and the aetiology is poorly defined. Less common treatable pathologies such as otosyphilis must be part of the differential diagnosis and should be actively excluded. We present a case of a 23-year-old woman who developed acute bilateral hearing loss due to otosyphilis, confirmed on audiometry and laboratory tests. In this article, the CT, MRI and clinical findings are presented and discussed