Structured proposition