what is the american name when the triple dotted value is 15/2 or 7 1/2?
CREATE TABLE table_51080 (
    "American name" text,
    "British name" text,
    "Value" text,
    "Dotted Value" text,
    "Double Dotted Value" text,
    "Triple Dotted Value" text
)
SELECT "American name" FROM table_51080 WHERE "Triple Dotted Value" = '15/2 or 7 1/2'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: what is the american name when the triple dotted value is 15/2 or 7 1/2? ### Input: CREATE TABLE table_51080 (
    "American name" text,
    "British name" text,
    "Value" text,
    "Dotted Value" text,
    "Double Dotted Value" text,
    "Triple Dotted Value" text
) ### Response: SELECT "American name" FROM table_51080 WHERE "Triple Dotted Value" = '15/2 or 7 1/2'