Alloy Language Example - alloy

I started to learn alloy and for this question I don't know how to complete my code.
Description:
There are three lines shown:
the Jubilee line running north to south from
Stanmore ; and
the Central Line running west to east to Epping; and
the Circle line running
clockwise through Baker Street.
Question
There is no station in 3 line.
Line Circle forms a circle.
Line Jubilee forms a straight line that start from Stanmore
There is a station between Stanmore and Baker Street
we can travel from Baker Street to Epping

Related

Remove sections from a text file not containing certain strings

So I have a text document with information associated with emails. and I have another one with a list of emails.
Now I want to basically check to see if an email matches one in a field of document one(separated by the "====") and If it does contain an email from document two, then outputs/saves that specific field (with the data).
So for example,
document A:
===================
JohnDoe#gmail.com
Tall man
Black hair
Blue eyes
===================
====================
jackandjones#gmail.com
Small man
Black hair
green eyes
=====================
=====================
janedoe#gmail.com
Tall women
Ginger hair
Blue eyes
=====================
Document two:
Johndoe#gmail.com
bobdylan#gmail.com
Janedoe#gmail.com
Desired output:
===================
JohnDoe#gmail.com
Tall man
Black hair
Blue eyes
===================
=====================
janedoe#gmail.com
Tall women
Ginger hair
Blue eyes
=====================
Sorry if I am not explaining this well, What jumps to mind is using cut command but I can't get my head around getting my desired output, could anyone give me a nudge?
assuming GNU awk with the RS support of multi-characters AND RT
gawk '
FNR==NR { f1[tolower($1)];next}
!(FNR%2) && tolower($2) in f1 { print RT $0 RT }
' DocumentTwo RS='[=]+' FS='\n' DocumentA
yields:
===================
JohnDoe#gmail.com
Tall man
Black hair
Blue eyes
===================
=====================
janedoe#gmail.com
Tall women
Ginger hair
Blue eyes
=====================

OpenLayers 3: align/rotate labels with line features

Is it possible to align/rotate text labels to a line feature? For example, if a line runs southwest to northeast (45 degrees), then the text placement should also be 45 degrees? Is this possible? I did look through the OL documentation but couldn't find anything of this nature.
You can't make a label "follow" a line in OpenLayers 3, but you can rotate it. See in this example: http://openlayers.org/en/latest/examples/vector-labels.html
Try setting the "Rotation" then hit the refresh button and you'll see the label being rendered on that angle.
If you use a style function, you could calculate the average angle of the line to determine the angle to render its label.

Extracting properties and attributes for entities

I want to extract attributes and their values for name-entities. For example:
Lisa has a pet cat named Whiskers. Whiskers is black with a white spot on her chest. Whiskers also has white paws that look like little white mittens. Whiskers likes to sleep in the sun on her favorite chair. Whiskers also likes to drink creamy milk.
One possible extraction of attributes for each entity is the following:
List:
Has -> Whiskers
Wiskers
Color -> Black
Likes to -> {Sleep in the sun on Lisa's favorite chair, drink creamy mik}
You could search for phrase structures the correspond to the relationships you want to extract. For example, you could find all the phrases of the form Noun-phrase verp-phrase noun-phrase and turn them into subject-predicate-object tuples. The more specific your sentence patterns are, the better this is likely to work. The pattern Python library makes this pretty easy to do.

GXT Borderlayout - West region to stretch to cover both center and south regions

Is it possible to configure the west region to stretch till the end of the layout, allowing it to be on the left on both the center and south regions? Meaning, height of west is equal to height of center and south. Instead of having the south region below both west and center regions.
Can this be done?
Have you tried to change the order of your add-statements?
Instead
add(South), add(West), add(Center)
use
add(West), add(South), add(center).

ExtJS 3 Make south panel go in between east and west panels

I was hoping it is possible to make a south panel (in a border layout Viewport), go in between the east and west panels.
It is demonstrated in this video, however weight is a ExtJS 4 configuration.
Any ideas on how to accomplish this in ExtJS 3?
You nest configs. Your outer config defines east, west, and center, and you center has a center and a south. This puts 'south' between east and west, rather than spanning all three.

Resources