Problem:
Problem B: Family Tree

A professor of anthropology was interested in people living in isolated islands and their history.
He collected their family trees to conduct some anthropological experiment. For the experiment,
he needed to process the family trees with a computer. For that purpose he translated them
into text files. The following is an example of a text file representing a family tree.

John
Robert
Frank
Andrew
Nancy
David

Each line contains the given name of a person. The name in the first line is the oldest ancestor
in this family tree. The family tree contains only the descendants of the oldest ancestor. Their
husbands and wives are not shown in the family tree. The children of a person are indented
with one more space than the parent. For example, Robert and Nancy are the children of John,
and Frank and Andrew are the children of Robert. David is indented with one more space than
Robert, but he is not a child of Robert, but of Nancy. To represent a family tree in this way,
the professor excluded some people from the family trees so that no one had both parents in a
family tree.

For the experiment, the professor also collected documents of the families and extracted the
set of statements about relations of two persons in each family tree. The following are some
examples of statements about the family above.

John is the parent of Robert.
Robert is a sibling of Nancy.
David is a descendant of Robert.

For the experiment, he needs to check whether each statement is true or not. For example, the
first two statements above are true and the last statement is false. Since this task is tedious, he
would like to check it by a computer program.

Input

The input contains several data sets. Each data set consists of a family tree and a set of
statements. The first line of each data set contains two integers n (0 < n < 1000) and m (0 < m < 1000) which represent the number of names in the family tree and the number of
statements, respectively. Each line of the input has less than 70 characters.

As a name, we consider any character string consisting of only alphabetic characters. The names
in a family tree have less than 20 characters. The name in the first line of the family tree has
no leading spaces. The other names in the family tree are indented with at least one space, i.e.,
they are descendants of the person in the first line. You can assume that if a name in the family
tree is indented with k spaces, the name in the next line is indented with at most k + 1 spaces.
This guarantees that each person except the oldest ancestor has his or her parent in the family
tree. No name appears twice in the same family tree. Each line of the family tree contains no
redundant spaces at the end.

Each statement occupies one line and is written in one of the following formats, where X and
Y are different names in the family tree.

X is a child of Y.
X is the parent of Y.
X is a sibling of Y.
X is a descendant of Y.
X is an ancestor of Y.

Names not appearing in the family tree are never used in the statements. Consecutive words in
a statement are separated by a single space. Each statement contains no redundant spaces at
the beginning and at the end of the line.

The end of the input is indicated by two zeros.

Output

For each statement in a data set, your program should output one line containing True or False.
The first letter of True or False in the output must be a capital. The output for each data set
should be followed by an empty line.

Sample Input

6 5
John
Robert
Frank
Andrew
Nancy
David
Robert is a child of John.
Robert is an ancestor of Andrew.
Robert is a sibling of Nancy.
Nancy is the parent of Frank.
John is a descendant of Andrew.
2 1
abc
xyz
xyz is a child of abc.
0 0

Output for the Sample Input

True
True
True
False
False

True

Solution in C++ (judge verdict: Wrong Answer)

#include <iostream>
#include <sstream>
#include <fstream>
#include <vector>
#include <list>
#include <set>
#include <map>
#include <stack>
#include <queue>
#include <algorithm>
#include <numeric>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <climits>
#include <cmath>
using namespace std;

typedef pair <string, int> PSI;
typedef stack <PSI> Stack;

const int size = 1001;
int n, m;
int D[size];
string N[size];
int T[size][size]; // type
map <string, int> ID;
int IDC;

void addName( string name ) {
    if ( ID.find( name ) != ID.end() ) {
        return;
    }
    ID[name] = IDC++;
}

int getIndex( string name ) {
    if ( ID.find( name ) == ID.end() ) {
        return -1;
    }
    return ID[name];
}

int getDepth( string line ) {
    int depth = 0;
    for ( string ::iterator it_i = line.begin(); it_i != line.end(); ++it_i ) {
        if ( *it_i == ' ' ) {
            depth += 1;
        }
    }
    return depth;
}

string getName( string line ) {
    string name;
    istringstream is( line );
    is >> name;
    return name;
}

string getNameFirst( string line ) {
    string name;
    istringstream is( line );
    is >> name;
    return name;
}

string getNameSecond( string line ) {
    string name;
    istringstream is( line );
    for ( int i = 0; i < 5; i++ ) {
        is >> name;
    }
    is >> name;
    return name.substr( 0, name.size()-1 );
}

int getFindRelation( string line ) {
    string relation;
    istringstream is( line );
    for ( int i = 0; i < 3; i++ ) {
        is >> relation;
    }
    is >> relation;
    if ( relation == "child" ) {
        return 1;
    } else if ( relation == "parent" ) {
        return 2;
    } else if ( relation == "sibling" ) {
        return 3;
    } else if ( relation == "ancestor" ) {
        return 4;
    } else if ( relation == "descendant" ) {
        return 5;
    }
    return 0;
}

bool check( int a, int b, int c ) {
    return ( T[a][b] & 1<<c ) != 0;
}

int main() {
    while ( cin >> n >> m ) {
        cin.clear();
        cin.ignore();
        if ( n == 0 && m == 0 ) break;

        // init
        IDC = 0;
        for ( int i = 0; i < n; i++ ) {
            for ( int j = 0; j < n; j++ ) {
                T[i][j] = 0;
            }
        }

        // input
        for ( int i = 0; i < n; i++ ) {
            string line;
            getline( cin, line );
            D[i] = getDepth( line );
            N[i] = getName( line );
            addName( N[i] );
        }

/*
    if ( relation == "child" ) {
        return 1;
    } else if ( relation == "parent" ) {
        return 2;
    } else if ( relation == "sibling" ) {
        return 3;
    } else if ( relation == "ancestor" ) {
        return 4;
    } else if ( relation == "descendant" ) {
        return 5;
    }
*/
        // child
        for ( int i = 0; i < n; i++ ) {
            for ( int j = i+1; j < n; j++ ) {
                if ( D[i] == D[j]-1 ) {
                    T[i][j] |= 1<<2;
                    T[j][i] |= 1<<1;
                } else if ( D[i] > D[j] ) {
                    break;
                }
            }
        }

        // sibling
        for ( int i = 0; i < n; i++ ) {
            for ( int j = i+1; j < n; j++ ) {
                if ( D[i] == D[j] ) {
                    T[i][j] |= 1<<3;
                    T[j][i] |= 1<<3;
                } else if ( D[i] > D[j] ) {
                    break;
                }
            }
        }

        // descendant
        for ( int i = 0; i < n; i++ ) {
            for ( int j = i+1; j < n; j++ ) {
                if ( D[i] < D[j] ) {
                    T[i][j] |= 1<<4;
                    T[j][i] |= 1<<5;
                } else {
                    break;
                }
            }
        }

        // questions
        for ( int i = 0; i < m; i++ ) {
            string line;
            getline( cin, line );
            string A = getNameFirst( line );
            string B = getNameSecond( line );
            int a = getIndex( A );
            int b = getIndex( B );
            int c = getFindRelation( line );
            bool flag = true;
            if ( a == -1 || b == -1 ) {
                flag = false;
            }
            cout << ( flag && check( a, b, c ) ? "True" : "False" ) << endl;
        }
        cout << endl;
    }
    return 0;
}